The bear eats the tiger. The bear is blue. The bear is kind. The bear is nice. The bear is round. The bear is young. The bear needs the tiger. The bear visits the tiger. The tiger eats the bear. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is round. The tiger is young. The tiger needs the bear. The tiger visits the bear. If something is nice and it visits the bear then the bear is round. If something is young and it needs the tiger then it is nice. If something needs the bear and the bear eats the tiger then the tiger visits the bear. If something visits the tiger and it eats the tiger then it eats the bear. If the tiger visits the bear then the tiger is round. If something eats the tiger and the tiger is nice then the tiger visits the bear.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If something is nice and it visits the bear then the bear is round.
((("something" "is" "nice" "+") ("something" "visits" "bear" "+")) -> ("bear" "is" "round" "+"))
If something is young and it needs the tiger then it is nice.
((("something" "is" "young" "+") ("something" "needs" "tiger" "+")) -> ("something" "is" "nice" "+"))
If something needs the bear and the bear eats the tiger then the tiger visits the bear.
((("something" "needs" "bear" "+") ("bear" "eats" "tiger" "+")) -> ("tiger" "visits" "bear" "+"))
If something visits the tiger and it eats the tiger then it eats the bear.
((("something" "visits" "tiger" "+") ("something" "eats" "tiger" "+")) -> ("something" "eats" "bear" "+"))
If the tiger visits the bear then the tiger is round.
((("tiger" "visits" "bear" "+")) -> ("tiger" "is" "round" "+"))
If something eats the tiger and the tiger is nice then the tiger visits the bear.
((("something" "eats" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("tiger" "visits" "bear" "+"))
The tiger is nice.
True
1
proof
[(triple12)]
("tiger" "is" "nice" "+")
triple12
The bear does not visit the tiger.
False
1
inv-proof
[(triple8)]
("bear" "visits" "tiger" "-")
triple8
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 tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bear eats the tiger.[(triple1)] The bear is blue.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4 OR ((triple6 triple7) -> rule2))] The bear is round.[(triple5 OR ((triple12 triple16) -> rule1) OR ((triple12 ((triple1 triple12) -> rule6)) -> rule1) OR ((triple12 ((triple15 triple1) -> rule3)) -> rule1))] The bear is young.[(triple6)] The bear needs the tiger.[(triple7)] The bear visits the tiger.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is blue.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is round.[(triple13 OR ((triple16) -> rule5) OR ((((triple1 triple12) -> rule6)) -> rule5) OR ((((triple15 triple1) -> rule3)) -> rule5))] The tiger is young.[(triple14)] The tiger needs the bear.[(triple15)] The tiger visits the bear.[(triple16 OR ((triple1 triple12) -> rule6) OR ((triple15 triple1) -> rule3))] @1: The bear eats the bear.[(((triple8 triple1) -> rule4))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
((triple6 triple7) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is round.
("bear" "is" "round" "+")
triple5
((triple12 triple16) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple12 ((triple1 triple12) -> (rule6 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
((triple12 ((triple15 triple1) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple7
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple8
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
((triple16) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
((((triple1 triple12) -> (rule6 % int2))) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
((((triple15 triple1) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple15
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple16
((triple1 triple12) -> (rule6 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
((triple15 triple1) -> (rule3 % int1))
The tiger visits the bear.
("tiger" "visits" "bear" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8 triple1) -> (rule4 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1