Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is cold. Gary is white. White people are cold. Cold people are furry. If someone is furry then they are red. Cold people are red. If Erin is blue and Erin is rough then Erin is young. All young people are red.
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 blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is white.
("Gary" "is" "white" "+")
White people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry then they are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
Cold people are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If Erin is blue and Erin is rough then Erin is young.
((("Erin" "is" "blue" "+") ("Erin" "is" "rough" "+")) -> ("Erin" "is" "young" "+"))
All young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Erin is blue.
True
1
proof
[(triple7)]
("Erin" "is" "blue" "+")
triple7
Erin is not young.
False
1
inv-proof
[(triple13 OR ((triple7 triple11) -> rule5))]
("Erin" "is" "young" "-")
triple13
((triple7 triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Anne is cold.[(triple1 OR ((triple5) -> rule1))] Anne is furry.[(triple2 OR ((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Anne is red.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule3) OR ((triple6) -> rule6) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((triple12) -> rule1))] Erin is furry.[(triple9 OR ((triple8) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Erin is red.[(triple10 OR ((triple13) -> rule6) OR ((triple8) -> rule4) OR ((triple9) -> rule3) OR ((((triple12) -> rule1)) -> rule4) OR ((((triple8) -> rule2)) -> rule3) OR ((((triple7 triple11) -> rule5)) -> rule6) OR ((((((triple12) -> rule1)) -> rule2)) -> rule3))] Erin is rough.[(triple11)] Erin is white.[(triple12)] Erin is young.[(triple13 OR ((triple7 triple11) -> rule5))] Gary is cold.[(triple14 OR ((triple15) -> rule1))] Gary is white.[(triple15)] @1: Gary is furry.[(((triple14) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Gary is red.[(((triple14) -> rule4) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1)) -> rule2)) -> rule3))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple1) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple2) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((triple6) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule4 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple12) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple9
((triple8) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
triple10
((triple13) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple8) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((triple9) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple12) -> (rule1 % int2))) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple12) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
triple13
((triple7 triple11) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple14
((triple15) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple15
Gary is furry.
("Gary" "is" "furry" "+")
((triple14) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple14) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple14) -> (rule2 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple15) -> (rule1 % int2))) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
((((((triple15) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3