Anne is green. Anne is kind. Anne is white. Erin is cold. Erin is green. Erin is quiet. Erin is white. Fiona is cold. Fiona is quiet. Fiona is white. If Anne is white then Anne is big. If something is green then it is cold. All white things are cold. Big, kind things are blue. White, blue things are green. If something is quiet and blue then it is cold.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Anne is white then Anne is big.
((("Anne" "is" "white" "+")) -> ("Anne" "is" "big" "+"))
If something is green then it is cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
All white things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Big, kind things are blue.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
White, blue things are green.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is quiet and blue then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Fiona is cold.
True
1
proof
[(triple8 OR ((triple10) -> rule3))]
("Fiona" "is" "cold" "+")
triple8
((triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Anne is big.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "big" "-")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Erin is not blue.
Unknown
inv-rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "blue" "-")
Fiona is blue.
Unknown
rconc
[@1: Fiona is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "blue" "+")
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Fiona is big.
Unknown
random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "+")
@0: Anne is green.[(triple1 OR ((triple3 ((((triple3) -> rule1) triple2) -> rule4)) -> rule5))] Anne is kind.[(triple2)] Anne is white.[(triple3)] Erin is cold.[(triple4 OR ((triple5) -> rule2) OR ((triple7) -> rule3))] Erin is green.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] Fiona is cold.[(triple8 OR ((triple10) -> rule3))] Fiona is quiet.[(triple9)] Fiona is white.[(triple10)] @1: Anne is big.[(((triple3) -> rule1))] Anne is cold.[(((triple1) -> rule2) OR ((triple3) -> rule3) OR ((((triple3 ((((triple3) -> rule1) triple2) -> rule4)) -> rule5)) -> rule2))] @2: Anne is blue.[(((((triple3) -> rule1) triple2) -> rule4))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple3 ((((triple3) -> (rule1 % int3)) triple2) -> (rule4 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
((triple5) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
((triple10) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Anne is big.
("Anne" "is" "big" "+")
((triple3) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple1) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple3) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple3 ((((triple3) -> (rule1 % int4)) triple2) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2