The cow is blue. The cow is red. The cow likes the squirrel. The rabbit eats the cow. The rabbit eats the squirrel. The rabbit is green. The rabbit likes the squirrel. The rabbit needs the tiger. The squirrel is red. The squirrel likes the cow. The squirrel needs the cow. The squirrel needs the tiger. The tiger eats the cow. The tiger eats the squirrel. If something is red and it eats the tiger then it likes the tiger. If something eats the squirrel then it likes the rabbit. If the squirrel needs the rabbit then the squirrel likes the cow. If something likes the tiger then it needs the rabbit. If something is blue and it eats the tiger then it likes the rabbit. If something needs the rabbit then the rabbit likes the tiger. If something likes the squirrel then it eats the tiger.
The cow is blue.
("cow" "is" "blue" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
If something is red and it eats the tiger then it likes the tiger.
((("something" "is" "red" "+") ("something" "eats" "tiger" "+")) -> ("something" "likes" "tiger" "+"))
If something eats the squirrel then it likes the rabbit.
((("something" "eats" "squirrel" "+")) -> ("something" "likes" "rabbit" "+"))
If the squirrel needs the rabbit then the squirrel likes the cow.
((("squirrel" "needs" "rabbit" "+")) -> ("squirrel" "likes" "cow" "+"))
If something likes the tiger then it needs the rabbit.
((("something" "likes" "tiger" "+")) -> ("something" "needs" "rabbit" "+"))
If something is blue and it eats the tiger then it likes the rabbit.
((("something" "is" "blue" "+") ("something" "eats" "tiger" "+")) -> ("something" "likes" "rabbit" "+"))
If something needs the rabbit then the rabbit likes the tiger.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "likes" "tiger" "+"))
If something likes the squirrel then it eats the tiger.
((("something" "likes" "squirrel" "+")) -> ("something" "eats" "tiger" "+"))
The rabbit needs the tiger.
True
1
proof
[(triple8)]
("rabbit" "needs" "tiger" "+")
triple8
The cow does not like the squirrel.
False
1
inv-proof
[(triple3)]
("cow" "likes" "squirrel" "-")
triple3
The rabbit likes the rabbit.
True
2
proof
[(((triple5) -> rule2))]
("rabbit" "likes" "rabbit" "+")
((triple5) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The cow does not eat the tiger.
False
2
inv-proof
[(((triple3) -> rule7))]
("cow" "eats" "tiger" "-")
((triple3) -> (rule7 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The cow likes the tiger.
True
4
proof
[(((triple2 ((triple3) -> rule7)) -> rule1))]
("cow" "likes" "tiger" "+")
((triple2 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The cow does not like the rabbit.
False
4
inv-proof
[(((triple1 ((triple3) -> rule7)) -> rule5))]
("cow" "likes" "rabbit" "-")
((triple1 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The cow needs the rabbit.
True
5
proof
[(((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4))]
("cow" "needs" "rabbit" "+")
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The cow does not need the rabbit.
False
5
inv-proof
[(((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4))]
("cow" "needs" "rabbit" "-")
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The rabbit likes the tiger.
True
6
proof
[(((((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4)) -> rule6))]
("rabbit" "likes" "tiger" "+")
((((((triple2 ((triple3) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int2
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int4
The rabbit does not like the tiger.
False
6
inv-proof
[(((((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4)) -> rule6))]
("rabbit" "likes" "tiger" "-")
((((((triple2 ((triple3) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int2
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int4
The rabbit needs the rabbit.
True
7
proof
[(((((((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4)) -> rule6)) -> rule4))]
("rabbit" "needs" "rabbit" "+")
((((((((triple2 ((triple3) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int4
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int5
The rabbit does not need the rabbit.
False
7
inv-proof
[(((((((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4)) -> rule6)) -> rule4))]
("rabbit" "needs" "rabbit" "-")
((((((((triple2 ((triple3) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int4
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int5
The tiger does not like the tiger.
Unknown
inv-rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger eats the tiger.
Unknown
rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("tiger" "eats" "tiger" "+")
The tiger does not need the rabbit.
Unknown
inv-rconc
[@2: The tiger needs the rabbit.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("tiger" "needs" "rabbit" "-")
The squirrel eats the tiger.
Unknown
rconc
[@1: The squirrel eats the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "eats" "tiger" "+")
The squirrel does not need the rabbit.
Unknown
inv-rconc
[@3: The squirrel needs the rabbit.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule7 <- FAIL)]]
("squirrel" "needs" "rabbit" "-")
The squirrel likes the tiger.
Unknown
rconc
[@2: The squirrel likes the tiger.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("squirrel" "likes" "tiger" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The tiger likes the squirrel.
Unknown
random
[@0: The tiger likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow likes the squirrel.[(triple3)] The rabbit eats the cow.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is green.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit needs the tiger.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel needs the cow.[(triple11)] The squirrel needs the tiger.[(triple12)] The tiger eats the cow.[(triple13)] The tiger eats the squirrel.[(triple14)] @1: The cow eats the tiger.[(((triple3) -> rule7))] The rabbit eats the tiger.[(((triple7) -> rule7))] The rabbit likes the rabbit.[(((triple5) -> rule2))] The tiger likes the rabbit.[(((triple14) -> rule2))] @2: The cow likes the rabbit.[(((triple1 ((triple3) -> rule7)) -> rule5))] The cow likes the tiger.[(((triple2 ((triple3) -> rule7)) -> rule1))] @3: The cow needs the rabbit.[(((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4))] @4: The rabbit likes the tiger.[(((((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4)) -> rule6))] @5: The rabbit needs the rabbit.[(((((((((triple2 ((triple3) -> rule7)) -> rule1)) -> rule4)) -> rule6)) -> rule4))]
The cow is blue.
("cow" "is" "blue" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple3
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple10
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple11
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple12
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple13
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple14
The cow eats the tiger.
("cow" "eats" "tiger" "+")
((triple3) -> (rule7 % int1))
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((triple7) -> (rule7 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple5) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
((triple14) -> (rule2 % int1))
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
int1
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
((triple1 ((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The cow likes the tiger.
("cow" "likes" "tiger" "+")
((triple2 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int1
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
((((triple2 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int2
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int3
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
((((((triple2 ((triple3) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int1
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int2
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int3
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int4
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((((((((triple2 ((triple3) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
int2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
int3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
int4
The cow eats the tiger.
("cow" "eats" "tiger" "+")
int5