Anne is big. Anne is smart. Charlie is round. If Anne is round and Anne is kind then Anne is big. Red things are not round. If Anne is smart and Anne is kind then Anne is white. If something is kind and big then it is red. If something is red and not kind then it is nice. If something is smart and not big then it is nice. If something is smart and not big then it is white. All kind things are white.
Anne is big.
("Anne" "is" "big" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is round.
("Charlie" "is" "round" "+")
If Anne is round and Anne is kind then Anne is big.
((("Anne" "is" "round" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "big" "+"))
Red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
If Anne is smart and Anne is kind then Anne is white.
((("Anne" "is" "smart" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "white" "+"))
If something is kind and big then it is red.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is red and not kind then it is nice.
((("something" "is" "red" "+") ("something" "is" "kind" "~")) -> ("something" "is" "nice" "+"))
If something is smart and not big then it is nice.
((("something" "is" "smart" "+") ("something" "is" "big" "~")) -> ("something" "is" "nice" "+"))
If something is smart and not big then it is white.
((("something" "is" "smart" "+") ("something" "is" "big" "~")) -> ("something" "is" "white" "+"))
All kind things are white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Anne is smart.
True
1
proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple2)]
("Anne" "is" "smart" "-")
triple2
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "white" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Charlie is round.[(triple3)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple3