Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Gary is smart. Gary is young. Harry is cold. Harry is green. Harry is red. Harry is white. If Gary is young and Gary is green then Gary is red. Green things are rough.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
If Gary is young and Gary is green then Gary is red.
((("Gary" "is" "young" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "red" "+"))
Green things are rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
Harry is green.
True
1
proof
[(triple8)]
("Harry" "is" "green" "+")
triple8
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is red.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Gary is smart.[(triple5)] Gary is young.[(triple6)] Harry is cold.[(triple7)] Harry is green.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10)] @1: Harry is rough.[(((triple8) -> rule2))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is smart.
("Gary" "is" "smart" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
((triple8) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1