The cow chases the rabbit. The cow chases the squirrel. The cow eats the rabbit. The cow is rough. The rabbit does not chase the squirrel. The rabbit does not eat the cow. The rabbit is nice. The rabbit needs the cow. The rabbit needs the squirrel. The rabbit needs the tiger. The squirrel chases the cow. The squirrel does not chase the tiger. The tiger does not chase the squirrel. The tiger is rough. The tiger needs the squirrel. If something is red then it chases the tiger. If the squirrel eats the rabbit and the squirrel needs the rabbit then the rabbit does not need the tiger. If something eats the tiger and the tiger is rough then it does not eat the cow. If something chases the rabbit and the rabbit eats the cow then it is not rough. If something needs the squirrel then the squirrel is blue. If something is rough then it eats the tiger.
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is rough.
("cow" "is" "rough" "+")
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something is red then it chases the tiger.
((("something" "is" "red" "+")) -> ("something" "chases" "tiger" "+"))
If the squirrel eats the rabbit and the squirrel needs the rabbit then the rabbit does not need the tiger.
((("squirrel" "eats" "rabbit" "+") ("squirrel" "needs" "rabbit" "+")) -> ("rabbit" "needs" "tiger" "-"))
If something eats the tiger and the tiger is rough then it does not eat the cow.
((("something" "eats" "tiger" "+") ("tiger" "is" "rough" "+")) -> ("something" "eats" "cow" "-"))
If something chases the rabbit and the rabbit eats the cow then it is not rough.
((("something" "chases" "rabbit" "+") ("rabbit" "eats" "cow" "+")) -> ("something" "is" "rough" "-"))
If something needs the squirrel then the squirrel is blue.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If something is rough then it eats the tiger.
((("something" "is" "rough" "+")) -> ("something" "eats" "tiger" "+"))
The rabbit needs the tiger.
True
1
proof
[(triple10)]
("rabbit" "needs" "tiger" "+")
triple10
The tiger is not rough.
False
1
inv-proof
[(triple14)]
("tiger" "is" "rough" "-")
triple14
The tiger eats the tiger.
True
2
proof
[(((triple14) -> rule6))]
("tiger" "eats" "tiger" "+")
((triple14) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple14) -> rule6))]
("tiger" "eats" "tiger" "-")
((triple14) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the cow.
True
4
proof
[(((((triple14) -> rule6) triple14) -> rule3))]
("tiger" "eats" "cow" "-")
((((triple14) -> (rule6 % int2)) triple14) -> (rule3 % int1))
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The tiger eats the cow.
False
4
inv-proof
[(((((triple14) -> rule6) triple14) -> rule3))]
("tiger" "eats" "cow" "+")
((((triple14) -> (rule6 % int2)) triple14) -> (rule3 % int1))
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The rabbit does not eat the tiger.
Unknown
inv-rconc
[@1: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "eats" "tiger" "-")
The tiger chases the tiger.
Unknown
rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "tiger" "+")
The cow does not chase the tiger.
Unknown
inv-rconc
[@1: The cow chases the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "tiger" "-")
The tiger eats the rabbit.
Unknown
random
[@0: The tiger eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "rabbit" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The cow chases the rabbit.[(triple1)] The cow chases the squirrel.[(triple2)] The cow eats the rabbit.[(triple3)] The cow is rough.[(triple4)] The rabbit does not chase the squirrel.[(triple5)] The rabbit does not eat the cow.[(triple6)] The rabbit is nice.[(triple7)] The rabbit needs the cow.[(triple8)] The rabbit needs the squirrel.[(triple9)] The rabbit needs the tiger.[(triple10)] The squirrel chases the cow.[(triple11)] The squirrel does not chase the tiger.[(triple12)] The tiger does not chase the squirrel.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The cow eats the tiger.[(((triple4) -> rule6))] The squirrel is blue.[(((triple15) -> rule5) OR ((triple9) -> rule5))] The tiger eats the tiger.[(((triple14) -> rule6))] @2: The cow does not eat the cow.[(((((triple4) -> rule6) triple14) -> rule3))] The tiger does not eat the cow.[(((((triple14) -> rule6) triple14) -> rule3))]
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple1
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple2
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The rabbit does not chase the squirrel.
("rabbit" "chases" "squirrel" "-")
triple5
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple8
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple9
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple11
The squirrel does not chase the tiger.
("squirrel" "chases" "tiger" "-")
triple12
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple13
The tiger is rough.
("tiger" "is" "rough" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The cow eats the tiger.
("cow" "eats" "tiger" "+")
((triple4) -> (rule6 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple15) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
((triple9) -> (rule5 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple14) -> (rule6 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The cow does not eat the cow.
("cow" "eats" "cow" "-")
((((triple4) -> (rule6 % int2)) triple14) -> (rule3 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
((((triple14) -> (rule6 % int2)) triple14) -> (rule3 % int1))
The tiger does not eat the cow.
("tiger" "eats" "cow" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2