Anne is not cold. Anne is green. Anne is red. Anne is young. Erin is big. Erin is cold. Erin is green. Erin is smart. Fiona is cold. Fiona is red. All smart things are white. If something is green and red then it is white.
Anne is not cold.
("Anne" "is" "cold" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is green and red then it is white.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Anne is not cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
Erin is not smart.
False
1
inv-proof
[(triple8)]
("Erin" "is" "smart" "-")
triple8
Fiona is not white.
Unknown
inv-rconc
[@1: Fiona is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
@0: Anne is green.[(triple2)] Anne is not cold.[(triple1)] Anne is red.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is smart.[(triple8)] Fiona is cold.[(triple9)] Fiona is red.[(triple10)] @1: Anne is white.[(((triple2 triple3) -> rule2))] Erin is white.[(((triple8) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not cold.
("Anne" "is" "cold" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is smart.
("Erin" "is" "smart" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Anne is white.
("Anne" "is" "white" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple8) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1