Erin is cold. Erin is furry. Erin is nice. Erin is quiet. Erin is round. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is white. If something is round and white then it is blue. If something is quiet and nice then it is white.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is round and white then it is blue.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If something is quiet and nice then it is white.
((("something" "is" "quiet" "+") ("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Erin is nice.
True
1
proof
[(triple3)]
("Erin" "is" "nice" "+")
triple3
Gary is not furry.
False
1
inv-proof
[(triple8)]
("Gary" "is" "furry" "-")
triple8
Erin is white.
True
3
proof
[(((triple4 triple3) -> rule2))]
("Erin" "is" "white" "+")
((triple4 triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
3
inv-proof
[(((triple4 triple3) -> rule2))]
("Erin" "is" "white" "-")
((triple4 triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
True
5
proof
[(((triple5 ((triple4 triple3) -> rule2)) -> rule1))]
("Erin" "is" "blue" "+")
((triple5 ((triple4 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not blue.
False
5
inv-proof
[(((triple5 ((triple4 triple3) -> rule2)) -> rule1))]
("Erin" "is" "blue" "-")
((triple5 ((triple4 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is nice.[(triple9)] Gary is white.[(triple10)] @1: Erin is white.[(((triple4 triple3) -> rule2))] @2: Erin is blue.[(((triple5 ((triple4 triple3) -> rule2)) -> rule1))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
((triple4 triple3) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5 ((triple4 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2