Anne is not blue. Anne is not white. Erin is kind. Erin is quiet. Erin is red. Fiona is big. Fiona is white. If someone is white then they are red. If Fiona is quiet and Fiona is blue then Fiona is big.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not white.
("Anne" "is" "white" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is white then they are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
If Fiona is quiet and Fiona is blue then Fiona is big.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "big" "+"))
Anne is not white.
True
1
proof
[(triple2)]
("Anne" "is" "white" "-")
triple2
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "red" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is not blue.[(triple1)] Anne is not white.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Fiona is big.[(triple6)] Fiona is white.[(triple7)] @1: Fiona is red.[(((triple7) -> rule1))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1