Anne is big. Charlie is round. Gary is big. All blue, rough things are big. If something is rough and kind then it is round. Kind, round things are nice. All blue, kind things are round. If Gary is big and Gary is rough then Gary is round. If something is cold then it is kind. All rough, big things are cold. Rough things are nice.
Anne is big.
("Anne" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
All blue, rough things are big.
((("something" "is" "blue" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is rough and kind then it is round.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Kind, round things are nice.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
All blue, kind things are round.
((("something" "is" "blue" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If Gary is big and Gary is rough then Gary is round.
((("Gary" "is" "big" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "round" "+"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All rough, big things are cold.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
Rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Gary is big.
True
1
proof
[(triple3)]
("Gary" "is" "big" "+")
triple3
Charlie is not round.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Anne is not nice.
Unknown
inv-rconc
[@2: Anne is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is big.[(triple1)] Charlie is round.[(triple2)] Gary is big.[(triple3)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3