The bear is big. The bear is red. The bear is round. Big, red people are blue. If the bear is round and the bear is red then the bear is blue. Red, round people are big. If someone is red and big then they are nice. If the bear is round and the bear is red then the bear is big. If the bear is blue and the bear is round then the bear is big.
The bear is big.
("bear" "is" "big" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
Big, red people are blue.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If the bear is round and the bear is red then the bear is blue.
((("bear" "is" "round" "+") ("bear" "is" "red" "+")) -> ("bear" "is" "blue" "+"))
Red, round people are big.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If the bear is round and the bear is red then the bear is big.
((("bear" "is" "round" "+") ("bear" "is" "red" "+")) -> ("bear" "is" "big" "+"))
If the bear is blue and the bear is round then the bear is big.
((("bear" "is" "blue" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "big" "+"))
The bear is red.
True
1
proof
[(triple2)]
("bear" "is" "red" "+")
triple2
The bear is not big.
False
1
inv-proof
[(triple1 OR ((triple2 triple3) -> rule3) OR ((triple3 triple2) -> rule5) OR ((((triple3 triple2) -> rule2) triple3) -> rule6))]
("bear" "is" "big" "-")
triple1
((triple2 triple3) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple3 triple2) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is nice.
True
3
proof
[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule4) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule4) OR ((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule6)) -> rule4))]
("bear" "is" "nice" "+")
((triple2 triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((triple2 ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((triple2 ((((triple3 triple2) -> (rule2 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule1) OR ((triple3 triple2) -> rule2) OR ((((triple2 triple3) -> rule3) triple2) -> rule1) OR ((((triple3 triple2) -> rule5) triple2) -> rule1))]
("bear" "is" "blue" "-")
((triple1 triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple3 triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple2 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is big.[(triple1 OR ((triple2 triple3) -> rule3) OR ((triple3 triple2) -> rule5) OR ((((triple3 triple2) -> rule2) triple3) -> rule6))] The bear is red.[(triple2)] The bear is round.[(triple3)] @1: The bear is blue.[(((triple1 triple2) -> rule1) OR ((triple3 triple2) -> rule2) OR ((((triple2 triple3) -> rule3) triple2) -> rule1) OR ((((triple3 triple2) -> rule5) triple2) -> rule1))] The bear is nice.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule4) OR ((triple2 ((triple3 triple2) -> rule5)) -> rule4) OR ((triple2 ((((triple3 triple2) -> rule2) triple3) -> rule6)) -> rule4))]
The bear is big.
("bear" "is" "big" "+")
triple1
((triple2 triple3) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple3 triple2) -> (rule5 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((((triple3 triple2) -> (rule2 % int2)) triple3) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is red.
("bear" "is" "red" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
((triple1 triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple3 triple2) -> (rule2 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple2 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple3 triple2) -> (rule5 % int2)) triple2) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((triple2 triple1) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple2 ((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((triple2 ((triple3 triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((triple2 ((((triple3 triple2) -> (rule2 % int3)) triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3