Anne is furry. Erin is cold. Erin is quiet. Erin is red. Gary is quiet. Gary is red. Gary is smart. Red, smart people are cold.
Anne is furry.
("Anne" "is" "furry" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Red, smart people are cold.
((("someone" "is" "red" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "cold" "+"))
Erin is red.
True
1
proof
[(triple4)]
("Erin" "is" "red" "+")
triple4
Gary is not quiet.
False
1
inv-proof
[(triple5)]
("Gary" "is" "quiet" "-")
triple5
Gary is cold.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Gary" "is" "cold" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Gary" "is" "cold" "-")
((triple6 triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "-")
Erin is rough.
Unknown
random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Erin is cold.[(triple2)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7)] @1: Gary is cold.[(((triple6 triple7) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1