Anne is cold. Anne is green. Anne is smart. Fiona is blue. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is not round. Fiona is smart. Fiona is white. Quiet, green people are not round. If someone is quiet and not green then they are round.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Quiet, green people are not round.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "-"))
If someone is quiet and not green then they are round.
((("someone" "is" "quiet" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "round" "+"))
Fiona is green.
True
1
proof
[(triple6)]
("Fiona" "is" "green" "+")
triple6
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "round" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is smart.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is green.[(triple6)] Fiona is not round.[(triple8 OR ((triple7 triple6) -> rule1))] Fiona is quiet.[(triple7)] Fiona is smart.[(triple9)] Fiona is white.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is not round.
("Fiona" "is" "round" "-")
triple8
((triple7 triple6) -> (rule1 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10