Charlie is big. Gary is big. Gary is blue. Gary is rough. Harry is blue. Harry is red. Harry is rough. All blue people are big.
Charlie is big.
("Charlie" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Harry is rough.
True
1
proof
[(triple7)]
("Harry" "is" "rough" "+")
triple7
Charlie is not big.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "big" "-")
triple1
Harry is big.
True
2
proof
[(((triple5) -> rule1))]
("Harry" "is" "big" "+")
((triple5) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("Harry" "is" "big" "-")
((triple5) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Charlie is big.[(triple1)] Gary is big.[(triple2 OR ((triple3) -> rule1))] Gary is blue.[(triple3)] Gary is rough.[(triple4)] Harry is blue.[(triple5)] Harry is red.[(triple6)] Harry is rough.[(triple7)] @1: Harry is big.[(((triple5) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple2
((triple3) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
triple3
Gary is rough.
("Gary" "is" "rough" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
((triple5) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1