The tiger is blue. The tiger is cold. The tiger is round. All green people are big. All round, cold people are green. If someone is cold and green then they are blue. Round, green people are big. If the tiger is cold then the tiger is round. If someone is blue and green then they are cold.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is round.
("tiger" "is" "round" "+")
All green people are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All round, cold people are green.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and green then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
Round, green people are big.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If the tiger is cold then the tiger is round.
((("tiger" "is" "cold" "+")) -> ("tiger" "is" "round" "+"))
If someone is blue and green then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
The tiger is round.
True
1
proof
[(triple3 OR ((triple2) -> rule5))]
("tiger" "is" "round" "+")
triple3
((triple2) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not round.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule5))]
("tiger" "is" "round" "-")
triple3
((triple2) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is green.
True
3
proof
[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule2))]
("tiger" "is" "green" "+")
((triple3 triple2) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is not green.
False
3
inv-proof
[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule2))]
("tiger" "is" "green" "-")
((triple3 triple2) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is big.
True
4
proof
[(((((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((triple3 triple2) -> rule2)) -> rule4) OR ((((((triple2) -> rule5) triple2) -> rule2)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule2)) -> rule4))]
("tiger" "is" "big" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((triple3 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger is not big.
False
4
inv-proof
[(((((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((triple3 triple2) -> rule2)) -> rule4) OR ((((((triple2) -> rule5) triple2) -> rule2)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule2)) -> rule4))]
("tiger" "is" "big" "-")
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((triple3 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is blue.[(triple1 OR ((triple2 ((triple3 triple2) -> rule2)) -> rule3) OR ((triple2 ((((triple2) -> rule5) triple2) -> rule2)) -> rule3))] The tiger is cold.[(triple2)] The tiger is round.[(triple3 OR ((triple2) -> rule5))] @1: The tiger is green.[(((triple3 triple2) -> rule2) OR ((((triple2) -> rule5) triple2) -> rule2))] @2: The tiger is big.[(((((triple3 triple2) -> rule2)) -> rule1) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((triple3 triple2) -> rule2)) -> rule4) OR ((((((triple2) -> rule5) triple2) -> rule2)) -> rule1) OR ((triple3 ((((triple2) -> rule5) triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule5) ((((triple2) -> rule5) triple2) -> rule2)) -> rule4))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
((triple2 ((triple3 triple2) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((triple2 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
The tiger is cold.
("tiger" "is" "cold" "+")
triple2
The tiger is round.
("tiger" "is" "round" "+")
triple3
((triple2) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
((triple3 triple2) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple2) -> (rule5 % int2)) triple2) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
((((triple3 triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((triple3 ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
((((triple2) -> (rule5 % int3)) ((triple3 triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule1 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((triple3 ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3
((((triple2) -> (rule5 % int3)) ((((triple2) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
int3