Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is cold. Erin is furry. Erin is red. Erin is round. Erin is white. Erin is young. Fiona is furry. Fiona is red. Fiona is rough. Fiona is white. All furry, young things are cold. If Fiona is white then Fiona is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All furry, young things are cold.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
If Fiona is white then Fiona is cold.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "cold" "+"))
Erin is round.
True
1
proof
[(triple10)]
("Erin" "is" "round" "+")
triple10
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple2 triple6) -> rule1))]
("Anne" "is" "cold" "-")
triple1
((triple2 triple6) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Fiona is cold.
True
2
proof
[(((triple16) -> rule2))]
("Fiona" "is" "cold" "+")
((triple16) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not cold.
False
2
inv-proof
[(((triple16) -> rule2))]
("Fiona" "is" "cold" "-")
((triple16) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
@0: Anne is cold.[(triple1 OR ((triple2 triple6) -> rule1))] Anne is furry.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is cold.[(triple7 OR ((triple8 triple12) -> rule1))] Erin is furry.[(triple8)] Erin is red.[(triple9)] Erin is round.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] Fiona is furry.[(triple13)] Fiona is red.[(triple14)] Fiona is rough.[(triple15)] Fiona is white.[(triple16)] @1: Fiona is cold.[(((triple16) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple2 triple6) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
((triple8 triple12) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Fiona is furry.
("Fiona" "is" "furry" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is rough.
("Fiona" "is" "rough" "+")
triple15
Fiona is white.
("Fiona" "is" "white" "+")
triple16
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple16) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1