The bear chases the cat. The bear eats the cat. The bear is blue. The bear is red. The bear is rough. The bear is round. The bear likes the cat. The cat chases the bear. The cat eats the bear. The cat is blue. The cat is nice. The cat is red. The cat is rough. The cat is round. The cat likes the bear. If someone eats the bear and they chase the cat then they like the cat. If someone likes the bear then they eat the cat. If someone likes the bear and they are round then they chase the cat. If someone likes the bear and they eat the bear then they are round. If someone likes the bear and they like the cat then they chase the bear. If someone chases the bear and the bear chases the cat then the bear is blue.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
If someone eats the bear and they chase the cat then they like the cat.
((("someone" "eats" "bear" "+") ("someone" "chases" "cat" "+")) -> ("someone" "likes" "cat" "+"))
If someone likes the bear then they eat the cat.
((("someone" "likes" "bear" "+")) -> ("someone" "eats" "cat" "+"))
If someone likes the bear and they are round then they chase the cat.
((("someone" "likes" "bear" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "cat" "+"))
If someone likes the bear and they eat the bear then they are round.
((("someone" "likes" "bear" "+") ("someone" "eats" "bear" "+")) -> ("someone" "is" "round" "+"))
If someone likes the bear and they like the cat then they chase the bear.
((("someone" "likes" "bear" "+") ("someone" "likes" "cat" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the bear and the bear chases the cat then the bear is blue.
((("someone" "chases" "bear" "+") ("bear" "chases" "cat" "+")) -> ("bear" "is" "blue" "+"))
The bear is blue.
True
1
proof
[(triple3 OR ((triple8 triple1) -> rule6) OR ((((triple15 ((triple9 ((triple15 triple14) -> rule3)) -> rule1)) -> rule5) triple1) -> rule6) OR ((((triple15 ((triple9 ((triple15 ((triple15 triple9) -> rule4)) -> rule3)) -> rule1)) -> rule5) triple1) -> rule6))]
("bear" "is" "blue" "+")
triple3
((triple8 triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple15 ((triple9 ((triple15 triple14) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
((((triple15 ((triple9 ((triple15 ((triple15 triple9) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The cat is not rough.
False
1
inv-proof
[(triple13)]
("cat" "is" "rough" "-")
triple13
The cat chases the cat.
True
3
proof
[(((triple15 triple14) -> rule3) OR ((triple15 ((triple15 triple9) -> rule4)) -> rule3))]
("cat" "chases" "cat" "+")
((triple15 triple14) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
((triple15 ((triple15 triple9) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat does not eat the cat.
False
2
inv-proof
[(((triple15) -> rule2))]
("cat" "eats" "cat" "-")
((triple15) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat likes the cat.
True
5
proof
[(((triple9 ((triple15 triple14) -> rule3)) -> rule1) OR ((triple9 ((triple15 ((triple15 triple9) -> rule4)) -> rule3)) -> rule1))]
("cat" "likes" "cat" "+")
((triple9 ((triple15 triple14) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
((triple9 ((triple15 ((triple15 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The cat does not like the cat.
False
5
inv-proof
[(((triple9 ((triple15 triple14) -> rule3)) -> rule1) OR ((triple9 ((triple15 ((triple15 triple9) -> rule4)) -> rule3)) -> rule1))]
("cat" "likes" "cat" "-")
((triple9 ((triple15 triple14) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
((triple9 ((triple15 ((triple15 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3
The bear does not chase the bear.
Unknown
inv-rconc
[@1: The bear chases the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bear" "-")
The bear is nice.
Unknown
random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is blue.[(triple3 OR ((triple8 triple1) -> rule6) OR ((((triple15 ((triple9 ((triple15 triple14) -> rule3)) -> rule1)) -> rule5) triple1) -> rule6) OR ((((triple15 ((triple9 ((triple15 ((triple15 triple9) -> rule4)) -> rule3)) -> rule1)) -> rule5) triple1) -> rule6))] The bear is red.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear likes the cat.[(triple7)] The cat chases the bear.[(triple8 OR ((triple15 ((triple9 ((triple15 triple14) -> rule3)) -> rule1)) -> rule5) OR ((triple15 ((triple9 ((triple15 ((triple15 triple9) -> rule4)) -> rule3)) -> rule1)) -> rule5))] The cat eats the bear.[(triple9)] The cat is blue.[(triple10)] The cat is nice.[(triple11)] The cat is red.[(triple12)] The cat is rough.[(triple13)] The cat is round.[(triple14 OR ((triple15 triple9) -> rule4))] The cat likes the bear.[(triple15)] @1: The cat chases the cat.[(((triple15 triple14) -> rule3) OR ((triple15 ((triple15 triple9) -> rule4)) -> rule3))] The cat eats the cat.[(((triple15) -> rule2))] @2: The cat likes the cat.[(((triple9 ((triple15 triple14) -> rule3)) -> rule1) OR ((triple9 ((triple15 ((triple15 triple9) -> rule4)) -> rule3)) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
((triple8 triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple15 ((triple9 ((triple15 triple14) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
((((triple15 ((triple9 ((triple15 ((triple15 triple9) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2)) triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cat chases the bear.
("cat" "chases" "bear" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is round.
("cat" "is" "round" "+")
int5
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear likes the cat.
("bear" "likes" "cat" "+")
triple7
The cat chases the bear.
("cat" "chases" "bear" "+")
triple8
((triple15 ((triple9 ((triple15 triple14) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
((triple15 ((triple9 ((triple15 ((triple15 triple9) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat is round.
("cat" "is" "round" "+")
int4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple9
The cat is blue.
("cat" "is" "blue" "+")
triple10
The cat is nice.
("cat" "is" "nice" "+")
triple11
The cat is red.
("cat" "is" "red" "+")
triple12
The cat is rough.
("cat" "is" "rough" "+")
triple13
The cat is round.
("cat" "is" "round" "+")
triple14
((triple15 triple9) -> (rule4 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple15 triple14) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
((triple15 ((triple15 triple9) -> (rule4 % int2))) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple15) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple9 ((triple15 triple14) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
((triple9 ((triple15 ((triple15 triple9) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is round.
("cat" "is" "round" "+")
int3