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