Dave is blue. Dave is furry. Dave is kind. Dave is not nice. Dave is not quiet. Dave is rough. Dave is round. Erin is blue. Erin is not kind. Erin is nice. Erin is not quiet. Erin is rough. If something is kind and not round then it is furry. If Erin is furry and Erin is kind then Erin is not quiet. All furry things are kind. Rough, quiet things are nice. If something is round and not furry then it is blue. All nice, furry things are rough. If something is blue and not round then it is rough. Quiet, kind things are rough.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not nice.
("Dave" "is" "nice" "-")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Erin is rough.
("Erin" "is" "rough" "+")
If something is kind and not round then it is furry.
((("something" "is" "kind" "+") ("something" "is" "round" "~")) -> ("something" "is" "furry" "+"))
If Erin is furry and Erin is kind then Erin is not quiet.
((("Erin" "is" "furry" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "quiet" "-"))
All furry things are kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
Rough, quiet things are nice.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
If something is round and not furry then it is blue.
((("something" "is" "round" "+") ("something" "is" "furry" "~")) -> ("something" "is" "blue" "+"))
All nice, furry things are rough.
((("something" "is" "nice" "+") ("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
If something is blue and not round then it is rough.
((("something" "is" "blue" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "+"))
Quiet, kind things are rough.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
Erin is not kind.
True
1
proof
[(triple9)]
("Erin" "is" "kind" "-")
triple9
Dave is not blue.
False
1
inv-proof
[(triple1)]
("Dave" "is" "blue" "-")
triple1
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "furry" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple2) -> rule3))] Dave is not nice.[(triple4)] Dave is not quiet.[(triple5)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Erin is blue.[(triple8)] Erin is nice.[(triple10)] Erin is not kind.[(triple9)] Erin is not quiet.[(triple11)] Erin is rough.[(triple12)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((triple2) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not nice.
("Dave" "is" "nice" "-")
triple4
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple10
Erin is not kind.
("Erin" "is" "kind" "-")
triple9
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple11
Erin is rough.
("Erin" "is" "rough" "+")
triple12