Charlie is blue. Charlie is quiet. Charlie is red. Erin is big. Erin is cold. Erin is quiet. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is young. If someone is cold then they are red. All quiet, red people are furry.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All quiet, red people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Erin is quiet.
True
1
proof
[(triple6)]
("Erin" "is" "quiet" "+")
triple6
Charlie is not quiet.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "quiet" "-")
triple2
Gary is red.
True
2
proof
[(((triple9) -> rule1))]
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Charlie is not furry.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Charlie" "is" "furry" "-")
((triple2 triple3) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is furry.
True
4
proof
[(((triple6 ((triple5) -> rule1)) -> rule2))]
("Erin" "is" "furry" "+")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not furry.
False
4
inv-proof
[(((triple6 ((triple5) -> rule1)) -> rule2))]
("Erin" "is" "furry" "-")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is blue.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3)] Erin is big.[(triple4)] Erin is cold.[(triple5)] Erin is quiet.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is furry.[(triple10 OR ((triple11 ((triple9) -> rule1)) -> rule2))] Gary is quiet.[(triple11)] Gary is young.[(triple12)] @1: Charlie is furry.[(((triple2 triple3) -> rule2))] Erin is red.[(((triple5) -> rule1))] Gary is red.[(((triple9) -> rule1))] @2: Erin is furry.[(((triple6 ((triple5) -> rule1)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is big.
("Erin" "is" "big" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
((triple11 ((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2 triple3) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple5) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((triple9) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2