Anne is blue. Anne is not red. Anne is white. Quiet, white things are round. All blue things are not round. If Anne is blue and Anne is big then Anne is green. Quiet things are blue. Green things are blue. Blue things are white. All round things are green. If something is round and not red then it is green.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is white.
("Anne" "is" "white" "+")
Quiet, white things are round.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "round" "+"))
All blue things are not round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "-"))
If Anne is blue and Anne is big then Anne is green.
((("Anne" "is" "blue" "+") ("Anne" "is" "big" "+")) -> ("Anne" "is" "green" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Blue things are white.
((("something" "is" "blue" "+")) -> ("something" "is" "white" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is round and not red then it is green.
((("something" "is" "round" "+") ("something" "is" "red" "~")) -> ("something" "is" "green" "+"))
Anne is not red.
True
1
proof
[(triple2)]
("Anne" "is" "red" "-")
triple2
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is blue.[(triple1)] Anne is not red.[(triple2)] Anne is white.[(triple3 OR ((triple1) -> rule6))] @1: Anne is not round.[(((triple1) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple1) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not round.
("Anne" "is" "round" "-")
((triple1) -> (rule2 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1