Anne is big. Anne is furry. Anne is green. Anne is red. Anne is rough. Anne is smart. Anne is white. Charlie is big. Charlie is green. Charlie is rough. Harry is big. Harry is green. If Anne is rough and Anne is green then Anne is smart.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
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 big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If Anne is rough and Anne is green then Anne is smart.
((("Anne" "is" "rough" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "smart" "+"))
Anne is white.
True
1
proof
[(triple7)]
("Anne" "is" "white" "+")
triple7
Anne is not green.
False
1
inv-proof
[(triple3)]
("Anne" "is" "green" "-")
triple3
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple5 triple3) -> rule1))] Anne is white.[(triple7)] Charlie is big.[(triple8)] Charlie is green.[(triple9)] Charlie is rough.[(triple10)] Harry is big.[(triple11)] Harry is green.[(triple12)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
((triple5 triple3) -> (rule1 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple7
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12