Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is red. Anne is rough. Anne is round. Fiona is blue. Fiona is red. Fiona is round. All cold, green things are blue. All cold, rough things are red. Blue things are cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
All cold, green things are blue.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All cold, rough things are red.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
Blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Anne is red.
True
1
proof
[(triple5 OR ((triple3 triple6) -> rule2) OR ((((triple2) -> rule3) triple6) -> rule2))]
("Anne" "is" "red" "+")
triple5
((triple3 triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Fiona is cold.
True
2
proof
[(((triple8) -> rule3))]
("Fiona" "is" "cold" "+")
((triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple8) -> rule3))]
("Fiona" "is" "cold" "-")
((triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not big.
Unknown
inv-random
[@0: Fiona is big.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "big" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple3 triple4) -> rule1))] Anne is cold.[(triple3 OR ((triple2) -> rule3))] Anne is green.[(triple4)] Anne is red.[(triple5 OR ((triple3 triple6) -> rule2) OR ((((triple2) -> rule3) triple6) -> rule2))] Anne is rough.[(triple6)] Anne is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Fiona is cold.[(((triple8) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple5
((triple3 triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple2) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple6
Anne is round.
("Anne" "is" "round" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is red.
("Fiona" "is" "red" "+")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1