Anne is cold. All round, smart people are nice. If someone is smart then they are quiet. Cold, smart people are round. If someone is nice and round then they are blue. All quiet people are blue. All blue, white people are round. If someone is cold then they are nice. All round, smart people are cold.
Anne is cold.
("Anne" "is" "cold" "+")
All round, smart people are nice.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart then they are quiet.
((("someone" "is" "smart" "+")) -> ("someone" "is" "quiet" "+"))
Cold, smart people are round.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All blue, white people are round.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
All round, smart people are cold.
((("someone" "is" "round" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "quiet" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is cold.[(triple1)] @1: Anne is nice.[(((triple1) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule7 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1