The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is blue. The rabbit is nice. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The squirrel likes the rabbit. If something likes the rabbit and it chases the squirrel then the rabbit eats the squirrel. If something is big and it eats the rabbit then the rabbit eats the squirrel. If something likes the rabbit then the rabbit eats the squirrel. If something eats the rabbit then it chases the squirrel. If something is nice then it likes the rabbit. If something chases the rabbit then it is round. If something chases the squirrel and it likes the rabbit then it is blue. If the squirrel is blue and the squirrel eats the rabbit then the squirrel chases the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something likes the rabbit and it chases the squirrel then the rabbit eats the squirrel.
((("something" "likes" "rabbit" "+") ("something" "chases" "squirrel" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something is big and it eats the rabbit then the rabbit eats the squirrel.
((("something" "is" "big" "+") ("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something likes the rabbit then the rabbit eats the squirrel.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If something eats the rabbit then it chases the squirrel.
((("something" "eats" "rabbit" "+")) -> ("something" "chases" "squirrel" "+"))
If something is nice then it likes the rabbit.
((("something" "is" "nice" "+")) -> ("something" "likes" "rabbit" "+"))
If something chases the rabbit then it is round.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "round" "+"))
If something chases the squirrel and it likes the rabbit then it is blue.
((("something" "chases" "squirrel" "+") ("something" "likes" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If the squirrel is blue and the squirrel eats the rabbit then the squirrel chases the rabbit.
((("squirrel" "is" "blue" "+") ("squirrel" "eats" "rabbit" "+")) -> ("squirrel" "chases" "rabbit" "+"))
The squirrel likes the rabbit.
True
1
proof
[(triple10)]
("squirrel" "likes" "rabbit" "+")
triple10
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple10)]
("squirrel" "likes" "rabbit" "-")
triple10
The squirrel chases the squirrel.
True
2
proof
[(((triple8) -> rule4))]
("squirrel" "chases" "squirrel" "+")
((triple8) -> (rule4 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple5) -> rule5))]
("rabbit" "likes" "rabbit" "-")
((triple5) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The squirrel is blue.
True
4
proof
[(((((triple8) -> rule4) triple10) -> rule7))]
("squirrel" "is" "blue" "+")
((((triple8) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is not blue.
False
4
inv-proof
[(((((triple8) -> rule4) triple10) -> rule7))]
("squirrel" "is" "blue" "-")
((((triple8) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "round" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The squirrel does not like the squirrel.
Unknown
inv-random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2 OR ((triple10) -> rule3) OR ((triple9 triple8) -> rule2) OR ((((triple5) -> rule5)) -> rule3) OR ((triple10 ((triple8) -> rule4)) -> rule1) OR ((((triple5) -> rule5) triple1) -> rule1))] The rabbit is big.[(triple3)] The rabbit is blue.[(triple4 OR ((triple1 ((triple5) -> rule5)) -> rule7))] The rabbit is nice.[(triple5)] The rabbit likes the squirrel.[(triple6)] The squirrel chases the rabbit.[(triple7 OR ((((((triple8) -> rule4) triple10) -> rule7) triple8) -> rule8))] The squirrel eats the rabbit.[(triple8)] The squirrel is big.[(triple9)] The squirrel likes the rabbit.[(triple10)] @1: The rabbit likes the rabbit.[(((triple5) -> rule5))] The squirrel chases the squirrel.[(((triple8) -> rule4))] The squirrel is round.[(((triple7) -> rule6) OR ((((((((triple8) -> rule4) triple10) -> rule7) triple8) -> rule8)) -> rule6))] @2: The squirrel is blue.[(((((triple8) -> rule4) triple10) -> rule7))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
((triple10) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
((triple9 triple8) -> (rule2 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
((triple10 ((triple8) -> (rule4 % int2))) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
((((triple5) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple4
((triple1 ((triple5) -> (rule5 % int2))) -> (rule7 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple7
((((((triple8) -> (rule4 % int3)) triple10) -> (rule7 % int2)) triple8) -> (rule8 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int3
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple10
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple5) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple8) -> (rule4 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple7) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
((((((((triple8) -> (rule4 % int4)) triple10) -> (rule7 % int3)) triple8) -> (rule8 % int2))) -> (rule6 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int4
The squirrel is blue.
("squirrel" "is" "blue" "+")
((((triple8) -> (rule4 % int2)) triple10) -> (rule7 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2