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