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