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