The bear eats the cow. The bear eats the tiger. The cow eats the tiger. The cow is nice. The cow is rough. The cow likes the tiger. The squirrel eats the bear. The squirrel eats the tiger. The squirrel is round. The tiger eats the cow. The tiger eats the squirrel. The tiger likes the bear. If the bear eats the tiger then the tiger is young. Round people are nice. If someone chases the cow and they chase the squirrel then they are round. If someone eats the tiger then the tiger chases the bear. All big people are nice. If someone eats the bear and they like the tiger then they are young.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
If the bear eats the tiger then the tiger is young.
((("bear" "eats" "tiger" "+")) -> ("tiger" "is" "young" "+"))
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the cow and they chase the squirrel then they are round.
((("someone" "chases" "cow" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "is" "round" "+"))
If someone eats the tiger then the tiger chases the bear.
((("someone" "eats" "tiger" "+")) -> ("tiger" "chases" "bear" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the bear and they like the tiger then they are young.
((("someone" "eats" "bear" "+") ("someone" "likes" "tiger" "+")) -> ("someone" "is" "young" "+"))
The tiger eats the cow.
True
1
proof
[(triple10)]
("tiger" "eats" "cow" "+")
triple10
The cow is not rough.
False
1
inv-proof
[(triple5)]
("cow" "is" "rough" "-")
triple5
The tiger is young.
True
2
proof
[(((triple2) -> rule1))]
("tiger" "is" "young" "+")
((triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger does not chase the bear.
False
2
inv-proof
[(((triple2) -> rule4) OR ((triple3) -> rule4) OR ((triple8) -> rule4))]
("tiger" "chases" "bear" "-")
((triple2) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
((triple3) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
((triple8) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "is" "young" "-")
The squirrel is young.
Unknown
rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "young" "+")
The tiger does not eat the bear.
Unknown
inv-random
[@0: The tiger eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "bear" "-")
The cow eats the bear.
Unknown
random
[@0: The cow eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "bear" "+")
@0: The bear eats the cow.[(triple1)] The bear eats the tiger.[(triple2)] The cow eats the tiger.[(triple3)] The cow is nice.[(triple4)] The cow is rough.[(triple5)] The cow likes the tiger.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel eats the tiger.[(triple8)] The squirrel is round.[(triple9)] The tiger eats the cow.[(triple10)] The tiger eats the squirrel.[(triple11)] The tiger likes the bear.[(triple12)] @1: The squirrel is nice.[(((triple9) -> rule2))] The tiger chases the bear.[(((triple2) -> rule4) OR ((triple3) -> rule4) OR ((triple8) -> rule4))] The tiger is young.[(((triple2) -> rule1))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple3
The cow is nice.
("cow" "is" "nice" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
triple5
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple6
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple10
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple11
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple9) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
((triple2) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
((triple3) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
((triple8) -> (rule4 % int1))
The tiger chases the bear.
("tiger" "chases" "bear" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple2) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1