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