Charlie is big. Charlie is nice. Charlie is round. Gary is big. Gary is blue. Gary is green. Gary is nice. Gary is rough. Harry is green. Harry is rough. Harry is round. Harry is young. If Charlie is rough then Charlie is round. If something is green and not big then it is not rough.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If Charlie is rough then Charlie is round.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "round" "+"))
If something is green and not big then it is not rough.
((("something" "is" "green" "+") ("something" "is" "big" "~")) -> ("something" "is" "rough" "-"))
Harry is rough.
True
1
proof
[(triple10)]
("Harry" "is" "rough" "+")
triple10
Gary is not big.
False
1
inv-proof
[(triple4)]
("Gary" "is" "big" "-")
triple4
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is green.[(triple6)] Gary is nice.[(triple7)] Gary is rough.[(triple8)] Harry is green.[(triple9)] Harry is rough.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple12