Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is young. Gary is red. Gary is rough. Rough, cold things are round. If something is rough and red then it is cold.
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 young.
("Erin" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Rough, cold things are round.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
If something is rough and red then it is cold.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
Erin is rough.
True
1
proof
[(triple4)]
("Erin" "is" "rough" "+")
triple4
Erin is not cold.
False
1
inv-proof
[(triple1 OR ((triple4 triple3) -> rule2))]
("Erin" "is" "cold" "-")
triple1
((triple4 triple3) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Gary is cold.
True
3
proof
[(((triple7 triple6) -> rule2))]
("Gary" "is" "cold" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple7 triple6) -> rule2))]
("Gary" "is" "cold" "-")
((triple7 triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
True
5
proof
[(((triple7 ((triple7 triple6) -> rule2)) -> rule1))]
("Gary" "is" "round" "+")
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not round.
False
5
inv-proof
[(((triple7 ((triple7 triple6) -> rule2)) -> rule1))]
("Gary" "is" "round" "-")
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Erin is cold.[(triple1 OR ((triple4 triple3) -> rule2))] Erin is furry.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is young.[(triple5)] Gary is red.[(triple6)] Gary is rough.[(triple7)] @1: Erin is round.[(((triple4 triple1) -> rule1) OR ((triple4 ((triple4 triple3) -> rule2)) -> rule1))] Gary is cold.[(((triple7 triple6) -> rule2))] @2: Gary is round.[(((triple7 ((triple7 triple6) -> rule2)) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple4 triple3) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Erin is round.
("Erin" "is" "round" "+")
((triple4 triple1) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple4 ((triple4 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple6) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple7 ((triple7 triple6) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2