The bear eats the cat. The bear is cold. The bear likes the cat. The bear likes the tiger. The bear visits the tiger. The cat is big. The cat is cold. The cat is round. The cat visits the bear. The squirrel eats the tiger. The squirrel is big. The squirrel likes the bear. The tiger is cold. The tiger is young. The tiger likes the bear. If the squirrel eats the tiger then the tiger eats the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear visits the tiger.
("bear" "visits" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If the squirrel eats the tiger then the tiger eats the bear.
((("squirrel" "eats" "tiger" "+")) -> ("tiger" "eats" "bear" "+"))
The cat is round.
True
1
proof
[(triple8)]
("cat" "is" "round" "+")
triple8
The bear does not visit the tiger.
False
1
inv-proof
[(triple5)]
("bear" "visits" "tiger" "-")
triple5
The tiger eats the bear.
True
2
proof
[(((triple10) -> rule1))]
("tiger" "eats" "bear" "+")
((triple10) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The tiger does not eat the bear.
False
2
inv-proof
[(((triple10) -> rule1))]
("tiger" "eats" "bear" "-")
((triple10) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The squirrel does not visit the tiger.
Unknown
inv-random
[@0: The squirrel visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "tiger" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The bear visits the squirrel.
Unknown
random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "+")
@0: The bear eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear likes the cat.[(triple3)] The bear likes the tiger.[(triple4)] The bear visits the tiger.[(triple5)] The cat is big.[(triple6)] The cat is cold.[(triple7)] The cat is round.[(triple8)] The cat visits the bear.[(triple9)] The squirrel eats the tiger.[(triple10)] The squirrel is big.[(triple11)] The squirrel likes the bear.[(triple12)] The tiger is cold.[(triple13)] The tiger is young.[(triple14)] The tiger likes the bear.[(triple15)] @1: The tiger eats the bear.[(((triple10) -> rule1))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear likes the cat.
("bear" "likes" "cat" "+")
triple3
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple4
The bear visits the tiger.
("bear" "visits" "tiger" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is cold.
("cat" "is" "cold" "+")
triple7
The cat is round.
("cat" "is" "round" "+")
triple8
The cat visits the bear.
("cat" "visits" "bear" "+")
triple9
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple12
The tiger is cold.
("tiger" "is" "cold" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple15
The tiger eats the bear.
("tiger" "eats" "bear" "+")
((triple10) -> (rule1 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1