Anne is kind. Bob is kind. Gary is kind. Harry is not big. If Anne is big then Anne is nice. If Anne is white then Anne is nice. If Bob is big then Bob is kind. Nice, cold things are big. If Harry is kind and Harry is white then Harry is big. If something is kind and not big then it is round. Green things are round. If Bob is big and Bob is round then Bob is white.
Anne is kind.
("Anne" "is" "kind" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is not big.
("Harry" "is" "big" "-")
If Anne is big then Anne is nice.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "nice" "+"))
If Anne is white then Anne is nice.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "nice" "+"))
If Bob is big then Bob is kind.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "kind" "+"))
Nice, cold things are big.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "is" "big" "+"))
If Harry is kind and Harry is white then Harry is big.
((("Harry" "is" "kind" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "big" "+"))
If something is kind and not big then it is round.
((("something" "is" "kind" "+") ("something" "is" "big" "~")) -> ("something" "is" "round" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If Bob is big and Bob is round then Bob is white.
((("Bob" "is" "big" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "white" "+"))
Anne is kind.
True
1
proof
[(triple1)]
("Anne" "is" "kind" "+")
triple1
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Gary is kind.[(triple3)] Harry is not big.[(triple4)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Gary is kind.
("Gary" "is" "kind" "+")
triple3
Harry is not big.
("Harry" "is" "big" "-")
triple4