Anne is kind. Charlie is kind. If someone is smart and green then they are round. If someone is quiet then they are not round. Quiet people are not blue. All smart people are blue. If someone is green and blue then they are cold. If Anne is smart and Anne is green then Anne is cold. If someone is green and kind then they are smart. All quiet people are not smart.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
If someone is smart and green then they are round.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are not round.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "-"))
Quiet people are not blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "-"))
All smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and blue then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If Anne is smart and Anne is green then Anne is cold.
((("Anne" "is" "smart" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "cold" "+"))
If someone is green and kind then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
All quiet people are not smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "-"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Anne is not kind.
False
1
inv-proof
[(triple1)]
("Anne" "is" "kind" "-")
triple1
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Anne is kind.[(triple1)] Charlie is kind.[(triple2)]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2