Anne is cold. Erin is cold. Erin is nice. Erin is red. Erin is rough. Erin is round. Fiona is round. If something is white then it is red. Nice, blue things are cold. All blue things are cold. Red things are blue. If Anne is red and Anne is round then Anne is nice. If Erin is white then Erin is nice. All round things are red. All rough things are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If something is white then it is red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Nice, blue things are cold.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
All blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If Anne is red and Anne is round then Anne is nice.
((("Anne" "is" "red" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "nice" "+"))
If Erin is white then Erin is nice.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "nice" "+"))
All round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Erin is not cold.
False
1
inv-proof
[(triple2 OR ((triple5) -> rule8) OR ((((triple4) -> rule4)) -> rule3) OR ((triple3 ((triple4) -> rule4)) -> rule2) OR ((((((triple6) -> rule7)) -> rule4)) -> rule3) OR ((triple3 ((((triple6) -> rule7)) -> rule4)) -> rule2))]
("Erin" "is" "cold" "-")
triple2
((triple5) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple3 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple3 ((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "nice" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Erin is cold.[(triple2 OR ((triple5) -> rule8) OR ((((triple4) -> rule4)) -> rule3) OR ((triple3 ((triple4) -> rule4)) -> rule2) OR ((((((triple6) -> rule7)) -> rule4)) -> rule3) OR ((triple3 ((((triple6) -> rule7)) -> rule4)) -> rule2))] Erin is nice.[(triple3)] Erin is red.[(triple4 OR ((triple6) -> rule7))] Erin is rough.[(triple5)] Erin is round.[(triple6)] Fiona is round.[(triple7)] @1: Erin is blue.[(((triple4) -> rule4) OR ((((triple6) -> rule7)) -> rule4))] Fiona is red.[(((triple7) -> rule7))] @2: Fiona is blue.[(((((triple7) -> rule7)) -> rule4))] @3: Fiona is cold.[(((((((triple7) -> rule7)) -> rule4)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
((triple5) -> (rule8 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((triple3 ((triple4) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
((((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
((triple3 ((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
((triple6) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
((triple4) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule7 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple7) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple7) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3