Anne is big. Anne is green. Anne is red. Anne is rough. Anne is round. Anne is white. Dave is big. Dave is green. Dave is quiet. Dave is rough. Dave is white. Harry is big. Harry is red. Harry is rough. Harry is white. If Anne is red and Anne is big then Anne is white.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
If Anne is red and Anne is big then Anne is white.
((("Anne" "is" "red" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "white" "+"))
Dave is quiet.
True
1
proof
[(triple9)]
("Dave" "is" "quiet" "+")
triple9
Dave is not big.
False
1
inv-proof
[(triple7)]
("Dave" "is" "big" "-")
triple7
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple3 triple1) -> rule1))] Dave is big.[(triple7)] Dave is green.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Harry is big.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple3 triple1) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is quiet.
("Dave" "is" "quiet" "+")
triple9
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15