Anne is not big. Anne is blue. Anne is white. Charlie is big. Charlie is cold. Charlie is kind. Harry is furry. If Charlie is smart and Charlie is blue then Charlie is cold. If something is kind and not white then it is big.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Harry is furry.
("Harry" "is" "furry" "+")
If Charlie is smart and Charlie is blue then Charlie is cold.
((("Charlie" "is" "smart" "+") ("Charlie" "is" "blue" "+")) -> ("Charlie" "is" "cold" "+"))
If something is kind and not white then it is big.
((("something" "is" "kind" "+") ("something" "is" "white" "~")) -> ("something" "is" "big" "+"))
Anne is blue.
True
1
proof
[(triple2)]
("Anne" "is" "blue" "+")
triple2
Anne is not white.
False
1
inv-proof
[(triple3)]
("Anne" "is" "white" "-")
triple3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is white.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Harry is furry.[(triple7)]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7