Anne is cold. Anne is red. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is not white. Dave is nice. Dave is rough. Dave is white. Erin is not furry. Erin is nice. Erin is not red. If Erin is red and Erin is not quiet then Erin is not rough. If Anne is furry then Anne is quiet. If someone is nice and white then they are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is not red.
("Erin" "is" "red" "-")
If Erin is red and Erin is not quiet then Erin is not rough.
((("Erin" "is" "red" "+") ("Erin" "is" "quiet" "~")) -> ("Erin" "is" "rough" "-"))
If Anne is furry then Anne is quiet.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "quiet" "+"))
If someone is nice and white then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
Charlie is rough.
True
1
proof
[(triple5)]
("Charlie" "is" "rough" "+")
triple5
Anne is not red.
False
1
inv-proof
[(triple2)]
("Anne" "is" "red" "-")
triple2
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is cold.[(triple1)] Anne is red.[(triple2)] Charlie is furry.[(triple3)] Charlie is nice.[(triple4)] Charlie is not white.[(triple6)] Charlie is rough.[(triple5)] Dave is nice.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Erin is nice.[(triple11)] Erin is not furry.[(triple10)] Erin is not red.[(triple12)] @1: Dave is red.[(((triple7 triple9) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Erin is nice.
("Erin" "is" "nice" "+")
triple11
Erin is not furry.
("Erin" "is" "furry" "-")
triple10
Erin is not red.
("Erin" "is" "red" "-")
triple12
Dave is red.
("Dave" "is" "red" "+")
((triple7 triple9) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1