Anne is cold. Anne is kind. Anne is red. Charlie is kind. Charlie is quiet. Charlie is red. Erin is kind. Erin is quiet. Erin is rough. Gary is quiet. If something is furry and not red then it is rough. If Erin is not big then Erin is not quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
If something is furry and not red then it is rough.
((("something" "is" "furry" "+") ("something" "is" "red" "~")) -> ("something" "is" "rough" "+"))
If Erin is not big then Erin is not quiet.
((("Erin" "is" "big" "~")) -> ("Erin" "is" "quiet" "-"))
Charlie is quiet.
True
1
proof
[(triple5)]
("Charlie" "is" "quiet" "+")
triple5
Erin is not kind.
False
1
inv-proof
[(triple7)]
("Erin" "is" "kind" "-")
triple7
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is kind.[(triple7)] Erin is quiet.[(triple8)] Erin is rough.[(triple9)] Gary is quiet.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10