Anne is red. Charlie is red. Fiona is red. Harry is nice. If Anne is not green then Anne is quiet. If someone is green and not round then they are not nice. All green, quiet people are nice. If Charlie is cold and Charlie is quiet then Charlie is not nice. If Anne is green then Anne is cold. All round people are not white. Round people are not white. All red, cold people are quiet.
Anne is red.
("Anne" "is" "red" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Anne is not green then Anne is quiet.
((("Anne" "is" "green" "~")) -> ("Anne" "is" "quiet" "+"))
If someone is green and not round then they are not nice.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "-"))
All green, quiet people are nice.
((("someone" "is" "green" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If Charlie is cold and Charlie is quiet then Charlie is not nice.
((("Charlie" "is" "cold" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "nice" "-"))
If Anne is green then Anne is cold.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "cold" "+"))
All round people are not white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "-"))
Round people are not white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "-"))
All red, cold people are quiet.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Anne is not red.
False
1
inv-proof
[(triple1)]
("Anne" "is" "red" "-")
triple1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "cold" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is red.[(triple1)] Charlie is red.[(triple2)] Fiona is red.[(triple3)] Harry is nice.[(triple4)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Fiona is red.
("Fiona" "is" "red" "+")
triple3
Harry is nice.
("Harry" "is" "nice" "+")
triple4