Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is young. Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is young. Big, white things are green.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
Big, white things are green.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Gary is quiet.
True
1
proof
[(triple9)]
("Gary" "is" "quiet" "+")
triple9
Gary is not cold.
False
1
inv-proof
[(triple7)]
("Gary" "is" "cold" "-")
triple7
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "green" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is young.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is quiet.[(triple9)] Gary is young.[(triple10)]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10