The bear chases the squirrel. The bear eats the squirrel. The bear is blue. The bear is nice. The dog chases the bear. The dog visits the bear. The rabbit is rough. The squirrel chases the bear. The squirrel chases the rabbit. The squirrel is red. If something eats the squirrel and the squirrel is nice then it visits the squirrel. If something eats the dog then it eats the rabbit. If something eats the rabbit then the rabbit visits the dog. If something visits the dog then it chases the bear. If something chases the bear then the bear eats the rabbit. If something is rough and red then it visits the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
If something eats the squirrel and the squirrel is nice then it visits the squirrel.
((("something" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("something" "visits" "squirrel" "+"))
If something eats the dog then it eats the rabbit.
((("something" "eats" "dog" "+")) -> ("something" "eats" "rabbit" "+"))
If something eats the rabbit then the rabbit visits the dog.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "visits" "dog" "+"))
If something visits the dog then it chases the bear.
((("something" "visits" "dog" "+")) -> ("something" "chases" "bear" "+"))
If something chases the bear then the bear eats the rabbit.
((("something" "chases" "bear" "+")) -> ("bear" "eats" "rabbit" "+"))
If something is rough and red then it visits the bear.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "visits" "bear" "+"))
The dog visits the bear.
True
1
proof
[(triple6)]
("dog" "visits" "bear" "+")
triple6
The squirrel is not red.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "red" "-")
triple10
The bear eats the rabbit.
True
2
proof
[(((triple5) -> rule5) OR ((triple8) -> rule5))]
("bear" "eats" "rabbit" "+")
((triple5) -> (rule5 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
((triple8) -> (rule5 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear does not eat the rabbit.
False
2
inv-proof
[(((triple5) -> rule5) OR ((triple8) -> rule5))]
("bear" "eats" "rabbit" "-")
((triple5) -> (rule5 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
((triple8) -> (rule5 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
True
3
proof
[(((((triple5) -> rule5)) -> rule3) OR ((((triple8) -> rule5)) -> rule3))]
("rabbit" "visits" "dog" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The rabbit does not visit the dog.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule3) OR ((((triple8) -> rule5)) -> rule3))]
("rabbit" "visits" "dog" "-")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The rabbit chases the bear.
True
4
proof
[(((((((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3)) -> rule4))]
("rabbit" "chases" "bear" "+")
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The rabbit does not chase the bear.
False
4
inv-proof
[(((((((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3)) -> rule4))]
("rabbit" "chases" "bear" "-")
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The dog does not eat the rabbit.
Unknown
inv-rconc
[@1: The dog eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "rabbit" "-")
The bear visits the bear.
Unknown
rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "visits" "bear" "+")
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "bear" "-")
The squirrel eats the rabbit.
Unknown
rconc
[@1: The squirrel eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "rabbit" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The bear visits the dog.
Unknown
random
[@0: The bear visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "dog" "+")
The rabbit does not eat the bear.
Unknown
inv-random
[@0: The rabbit eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bear" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The dog chases the bear.[(triple5)] The dog visits the bear.[(triple6)] The rabbit is rough.[(triple7)] The squirrel chases the bear.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is red.[(triple10)] @1: The bear eats the rabbit.[(((triple5) -> rule5) OR ((triple8) -> rule5))] @2: The rabbit visits the dog.[(((((triple5) -> rule5)) -> rule3) OR ((((triple8) -> rule5)) -> rule3))] @3: The rabbit chases the bear.[(((((((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple8) -> rule5)) -> rule3)) -> rule4))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog visits the bear.
("dog" "visits" "bear" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel is red.
("squirrel" "is" "red" "+")
triple10
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
((triple5) -> (rule5 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
((triple8) -> (rule5 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
((((triple5) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
((((((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
((((((triple8) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3