The bald eagle is round. The bald eagle needs the tiger. The cat chases the bald eagle. The cat chases the tiger. The cat is green. The cat is red. The cat likes the bald eagle. The cat likes the tiger. The cat needs the bald eagle. The cat needs the tiger. The tiger is green. The tiger is kind. The tiger is round. The tiger likes the bald eagle. The tiger needs the cat. If the tiger likes the bald eagle then the bald eagle is kind. If something needs the bald eagle and it needs the tiger then the bald eagle is young. If something is green then it is kind. If something is kind then it chases the bald eagle. If the bald eagle likes the cat and the cat needs the tiger then the cat likes the tiger. If something is red then it chases the bald eagle. If something needs the cat and it is kind then the cat needs the bald eagle. If something chases the cat then the cat needs the tiger.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If the tiger likes the bald eagle then the bald eagle is kind.
((("tiger" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something needs the bald eagle and it needs the tiger then the bald eagle is young.
((("something" "needs" "bald eagle" "+") ("something" "needs" "tiger" "+")) -> ("bald eagle" "is" "young" "+"))
If something is green then it is kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it chases the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "chases" "bald eagle" "+"))
If the bald eagle likes the cat and the cat needs the tiger then the cat likes the tiger.
((("bald eagle" "likes" "cat" "+") ("cat" "needs" "tiger" "+")) -> ("cat" "likes" "tiger" "+"))
If something is red then it chases the bald eagle.
((("something" "is" "red" "+")) -> ("something" "chases" "bald eagle" "+"))
If something needs the cat and it is kind then the cat needs the bald eagle.
((("something" "needs" "cat" "+") ("something" "is" "kind" "+")) -> ("cat" "needs" "bald eagle" "+"))
If something chases the cat then the cat needs the tiger.
((("something" "chases" "cat" "+")) -> ("cat" "needs" "tiger" "+"))
The tiger needs the cat.
True
1
proof
[(triple15)]
("tiger" "needs" "cat" "+")
triple15
The cat does not chase the bald eagle.
False
1
inv-proof
[(triple3 OR ((triple6) -> rule6) OR ((((triple5) -> rule3)) -> rule4))]
("cat" "chases" "bald eagle" "-")
triple3
((triple6) -> (rule6 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The bald eagle is kind.
True
2
proof
[(((triple14) -> rule1))]
("bald eagle" "is" "kind" "+")
((triple14) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is not young.
False
3
inv-proof
[(((triple9 triple10) -> rule2) OR ((((triple15 triple12) -> rule7) triple10) -> rule2) OR ((((triple15 ((triple11) -> rule3)) -> rule7) triple10) -> rule2))]
("bald eagle" "is" "young" "-")
((triple9 triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((((triple15 triple12) -> (rule7 % int2)) triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
((((triple15 ((triple11) -> (rule3 % int3))) -> (rule7 % int2)) triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle chases the bald eagle.
True
3
proof
[(((((triple14) -> rule1)) -> rule4))]
("bald eagle" "chases" "bald eagle" "+")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule4))]
("bald eagle" "chases" "bald eagle" "-")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The tiger is red.
Unknown
random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle needs the tiger.[(triple2)] The cat chases the bald eagle.[(triple3 OR ((triple6) -> rule6) OR ((((triple5) -> rule3)) -> rule4))] The cat chases the tiger.[(triple4)] The cat is green.[(triple5)] The cat is red.[(triple6)] The cat likes the bald eagle.[(triple7)] The cat likes the tiger.[(triple8)] The cat needs the bald eagle.[(triple9 OR ((triple15 triple12) -> rule7) OR ((triple15 ((triple11) -> rule3)) -> rule7))] The cat needs the tiger.[(triple10)] The tiger is green.[(triple11)] The tiger is kind.[(triple12 OR ((triple11) -> rule3))] The tiger is round.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger needs the cat.[(triple15)] @1: The bald eagle is kind.[(((triple14) -> rule1))] The bald eagle is young.[(((triple9 triple10) -> rule2) OR ((((triple15 triple12) -> rule7) triple10) -> rule2) OR ((((triple15 ((triple11) -> rule3)) -> rule7) triple10) -> rule2))] The cat is kind.[(((triple5) -> rule3))] The tiger chases the bald eagle.[(((triple12) -> rule4) OR ((((triple11) -> rule3)) -> rule4))] @2: The bald eagle chases the bald eagle.[(((((triple14) -> rule1)) -> rule4))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
((triple6) -> (rule6 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule4 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple4
The cat is green.
("cat" "is" "green" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple8
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple9
((triple15 triple12) -> (rule7 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
((triple15 ((triple11) -> (rule3 % int2))) -> (rule7 % int1))
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
((triple11) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple14) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple9 triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
((((triple15 triple12) -> (rule7 % int2)) triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
((((triple15 ((triple11) -> (rule3 % int3))) -> (rule7 % int2)) triple10) -> (rule2 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The cat is kind.
("cat" "is" "kind" "+")
((triple5) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple12) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((((triple11) -> (rule3 % int2))) -> (rule4 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2