Charlie is big. Charlie is cold. Charlie is smart. Gary is big. Gary is rough. Harry is big. Harry is cold. Kind, cold people are green.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Kind, cold people are green.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Charlie is big.
True
1
proof
[(triple1)]
("Charlie" "is" "big" "+")
triple1
Charlie is not smart.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "smart" "-")
triple3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is smart.[(triple3)] Gary is big.[(triple4)] Gary is rough.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7