Bob is cold. Bob is furry. Bob is round. Bob is white. Charlie is cold. Charlie is furry. Charlie is round. Erin is cold. Erin is quiet. Erin is round. Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is white. All round, white people are furry. Round people are white.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
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 white.
("Gary" "is" "white" "+")
All round, white people are furry.
((("someone" "is" "round" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
Round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Gary is quiet.
True
1
proof
[(triple14)]
("Gary" "is" "quiet" "+")
triple14
Bob is not cold.
False
1
inv-proof
[(triple1)]
("Bob" "is" "cold" "-")
triple1
Charlie is white.
True
2
proof
[(((triple7) -> rule2))]
("Charlie" "is" "white" "+")
((triple7) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is not white.
False
2
inv-proof
[(((triple7) -> rule2))]
("Charlie" "is" "white" "-")
((triple7) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is furry.
True
4
proof
[(((triple10 ((triple10) -> rule2)) -> rule1))]
("Erin" "is" "furry" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not furry.
False
4
inv-proof
[(((triple10 ((triple10) -> rule2)) -> rule1))]
("Erin" "is" "furry" "-")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Bob is not quiet.
Unknown
inv-random
[@0: Bob is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "quiet" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1))] Bob is round.[(triple3)] Bob is white.[(triple4 OR ((triple3) -> rule2))] Charlie is cold.[(triple5)] Charlie is furry.[(triple6 OR ((triple7 ((triple7) -> rule2)) -> rule1))] Charlie is round.[(triple7)] Erin is cold.[(triple8)] Erin is quiet.[(triple9)] Erin is round.[(triple10)] Gary is big.[(triple11)] Gary is cold.[(triple12)] Gary is furry.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] @1: Charlie is white.[(((triple7) -> rule2))] Erin is white.[(((triple10) -> rule2))] @2: Erin is furry.[(((triple10 ((triple10) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((triple3 ((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
((triple3) -> (rule2 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
((triple7 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is round.
("Erin" "is" "round" "+")
triple10
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is white.
("Gary" "is" "white" "+")
triple15
Charlie is white.
("Charlie" "is" "white" "+")
((triple7) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((triple10) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple10 ((triple10) -> (rule2 % int2))) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2