The bear is blue. The bear is nice. The bear likes the squirrel. The bear needs the cow. The bear needs the squirrel. The bear visits the cow. The cow is rough. The cow needs the bear. The cow visits the bear. The squirrel is big. The squirrel is blue. The squirrel is young. The squirrel likes the cow. The squirrel needs the cow. The squirrel visits the bear. The squirrel visits the cow. If someone is big then they like the bear.
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If someone is big then they like the bear.
((("someone" "is" "big" "+")) -> ("someone" "likes" "bear" "+"))
The squirrel needs the cow.
True
1
proof
[(triple14)]
("squirrel" "needs" "cow" "+")
triple14
The cow is not rough.
False
1
inv-proof
[(triple7)]
("cow" "is" "rough" "-")
triple7
The squirrel likes the bear.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "likes" "bear" "+")
((triple10) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel does not like the bear.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "likes" "bear" "-")
((triple10) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "-")
The cow likes the bear.
Unknown
rconc
[@1: The cow likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "likes" "bear" "+")
The bear does not visit the squirrel.
Unknown
inv-random
[@0: The bear visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "squirrel" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the cow.[(triple4)] The bear needs the squirrel.[(triple5)] The bear visits the cow.[(triple6)] The cow is rough.[(triple7)] The cow needs the bear.[(triple8)] The cow visits the bear.[(triple9)] The squirrel is big.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the cow.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel visits the bear.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The squirrel likes the bear.[(((triple10) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The bear visits the cow.
("bear" "visits" "cow" "+")
triple6
The cow is rough.
("cow" "is" "rough" "+")
triple7
The cow needs the bear.
("cow" "needs" "bear" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The squirrel is big.
("squirrel" "is" "big" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is young.
("squirrel" "is" "young" "+")
triple12
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple13
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple16
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple10) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1