Erin is cold. Erin is green. Erin is nice. Erin is quiet. Gary is big. Gary is cold. Gary is quiet. All cold, quiet things are green. If Gary is red then Gary is quiet. Quiet, white things are red. All cold things are red. Nice things are big. White things are cold.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
All cold, quiet things are green.
((("something" "is" "cold" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Gary is red then Gary is quiet.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "quiet" "+"))
Quiet, white things are red.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
All cold things are red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
White things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple6)]
("Gary" "is" "cold" "+")
triple6
Gary is not cold.
False
1
inv-proof
[(triple6)]
("Gary" "is" "cold" "-")
triple6
Erin is red.
True
2
proof
[(((triple1) -> rule4))]
("Erin" "is" "red" "+")
((triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not big.
False
2
inv-proof
[(((triple3) -> rule5))]
("Erin" "is" "big" "-")
((triple3) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is white.
Unknown
random
[@0: Gary is white.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "white" "+")
@0: Erin is cold.[(triple1)] Erin is green.[(triple2 OR ((triple1 triple4) -> rule1))] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is quiet.[(triple7 OR ((((triple6) -> rule4)) -> rule2))] @1: Erin is big.[(((triple3) -> rule5))] Erin is red.[(((triple1) -> rule4))] Gary is green.[(((triple6 triple7) -> rule1) OR ((triple6 ((((triple6) -> rule4)) -> rule2)) -> rule1))] Gary is red.[(((triple6) -> rule4))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
((triple1 triple4) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple7
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((triple3) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple1) -> (rule4 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple6 ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
((triple6) -> (rule4 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1