The cow is young. The rabbit is rough. The rabbit does not like the squirrel. The rabbit does not like the tiger. The rabbit visits the cow. The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is young. The squirrel likes the rabbit. The squirrel visits the tiger. The tiger is big. The tiger is young. The tiger likes the rabbit. The tiger visits the rabbit. If someone needs the rabbit and they like the rabbit then they need the cow. If someone likes the cow and they visit the tiger then the tiger does not like the rabbit. If someone is rough then they like the cow. If someone is green and they do not need the squirrel then they do not need the rabbit. If the tiger visits the squirrel and the squirrel does not visit the rabbit then the rabbit likes the squirrel. If someone is green then they like the rabbit. If the cow does not need the tiger then the tiger is green. If someone visits the rabbit and they are young then the rabbit needs the tiger.
The cow is young.
("cow" "is" "young" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone needs the rabbit and they like the rabbit then they need the cow.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the cow and they visit the tiger then the tiger does not like the rabbit.
((("someone" "likes" "cow" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "likes" "rabbit" "-"))
If someone is rough then they like the cow.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cow" "+"))
If someone is green and they do not need the squirrel then they do not need the rabbit.
((("someone" "is" "green" "+") ("someone" "needs" "squirrel" "~")) -> ("someone" "needs" "rabbit" "-"))
If the tiger visits the squirrel and the squirrel does not visit the rabbit then the rabbit likes the squirrel.
((("tiger" "visits" "squirrel" "+") ("squirrel" "visits" "rabbit" "~")) -> ("rabbit" "likes" "squirrel" "+"))
If someone is green then they like the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "likes" "rabbit" "+"))
If the cow does not need the tiger then the tiger is green.
((("cow" "needs" "tiger" "~")) -> ("tiger" "is" "green" "+"))
If someone visits the rabbit and they are young then the rabbit needs the tiger.
((("someone" "visits" "rabbit" "+") ("someone" "is" "young" "+")) -> ("rabbit" "needs" "tiger" "+"))
The cow is young.
True
1
proof
[(triple1)]
("cow" "is" "young" "+")
triple1
The squirrel is not young.
False
1
inv-proof
[(triple9)]
("squirrel" "is" "young" "-")
triple9
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow is young.[(triple1)] The rabbit does not like the squirrel.[(triple3)] The rabbit does not like the tiger.[(triple4)] The rabbit is rough.[(triple2)] The rabbit visits the cow.[(triple5)] The squirrel is big.[(triple6)] The squirrel is green.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is young.[(triple9)] The squirrel likes the rabbit.[(triple10 OR ((triple7) -> rule6))] The squirrel visits the tiger.[(triple11)] The tiger is big.[(triple12)] The tiger is young.[(triple13)] The tiger likes the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit likes the cow.[(((triple2) -> rule3))] The rabbit needs the tiger.[(((triple15 triple13) -> rule8))]
The cow is young.
("cow" "is" "young" "+")
triple1
The rabbit does not like the squirrel.
("rabbit" "likes" "squirrel" "-")
triple3
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple4
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple2
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is green.
("squirrel" "is" "green" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is young.
("squirrel" "is" "young" "+")
triple9
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple10
((triple7) -> (rule6 % int1))
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
int1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple11
The tiger is big.
("tiger" "is" "big" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple14
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
((triple2) -> (rule3 % int1))
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
int1
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
((triple15 triple13) -> (rule8 % int1))
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
int1