The bear chases the tiger. The bear eats the tiger. The bear is big. The bear is blue. The bear is cold. The bear is round. The bear is young. The bear needs the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is big. The tiger is blue. The tiger is cold. The tiger is round. The tiger is young. The tiger needs the bear. If someone is blue then they chase the tiger. If someone chases the tiger and they need the bear then they need the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
If someone is blue then they chase the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the tiger and they need the bear then they need the tiger.
((("someone" "chases" "tiger" "+") ("someone" "needs" "bear" "+")) -> ("someone" "needs" "tiger" "+"))
The tiger is blue.
True
1
proof
[(triple12)]
("tiger" "is" "blue" "+")
triple12
The bear is not big.
False
1
inv-proof
[(triple3)]
("bear" "is" "big" "-")
triple3
The tiger chases the tiger.
True
2
proof
[(((triple12) -> rule1))]
("tiger" "chases" "tiger" "+")
((triple12) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not chase the tiger.
False
2
inv-proof
[(((triple12) -> rule1))]
("tiger" "chases" "tiger" "-")
((triple12) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger needs the tiger.
True
4
proof
[(((((triple12) -> rule1) triple16) -> rule2))]
("tiger" "needs" "tiger" "+")
((((triple12) -> (rule1 % int2)) triple16) -> (rule2 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger does not need the tiger.
False
4
inv-proof
[(((((triple12) -> rule1) triple16) -> rule2))]
("tiger" "needs" "tiger" "-")
((((triple12) -> (rule1 % int2)) triple16) -> (rule2 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the tiger.[(triple1 OR ((triple4) -> rule1))] The bear eats the tiger.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is cold.[(triple5)] The bear is round.[(triple6)] The bear is young.[(triple7)] The bear needs the tiger.[(triple8)] The tiger chases the bear.[(triple9)] The tiger eats the bear.[(triple10)] The tiger is big.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger is round.[(triple14)] The tiger is young.[(triple15)] The tiger needs the bear.[(triple16)] @1: The tiger chases the tiger.[(((triple12) -> rule1))] @2: The tiger needs the tiger.[(((((triple12) -> rule1) triple16) -> rule2))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
((triple4) -> (rule1 % int1))
The bear chases the tiger.
("bear" "chases" "tiger" "+")
int1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple8
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is round.
("tiger" "is" "round" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple16
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple12) -> (rule1 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((((triple12) -> (rule1 % int2)) triple16) -> (rule2 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2