The bald eagle is kind. The bald eagle is nice. The cat chases the bald eagle. The cat is kind. The cat likes the bald eagle. The cat likes the tiger. The cat needs the bald eagle. The tiger is nice. The tiger is rough. The tiger likes the bald eagle. If someone likes the cat and they need the bald eagle then they like the bald eagle. If someone is big and they need the bald eagle then they need the cat. If someone chases the tiger and the tiger likes the bald eagle then they are rough. If someone is kind and they like the bald eagle then they chase the tiger. If someone is rough then they are round. If someone chases the cat and the cat is big then they like the tiger.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
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 tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If someone likes the cat and they need the bald eagle then they like the bald eagle.
((("someone" "likes" "cat" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is big and they need the bald eagle then they need the cat.
((("someone" "is" "big" "+") ("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "cat" "+"))
If someone chases the tiger and the tiger likes the bald eagle then they are rough.
((("someone" "chases" "tiger" "+") ("tiger" "likes" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and they like the bald eagle then they chase the tiger.
((("someone" "is" "kind" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "chases" "tiger" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone chases the cat and the cat is big then they like the tiger.
((("someone" "chases" "cat" "+") ("cat" "is" "big" "+")) -> ("someone" "likes" "tiger" "+"))
The bald eagle is nice.
True
1
proof
[(triple2)]
("bald eagle" "is" "nice" "+")
triple2
The cat does not need the bald eagle.
False
1
inv-proof
[(triple7)]
("cat" "needs" "bald eagle" "-")
triple7
The cat chases the tiger.
True
3
proof
[(((triple4 triple5) -> rule4))]
("cat" "chases" "tiger" "+")
((triple4 triple5) -> (rule4 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The tiger is not round.
False
2
inv-proof
[(((triple9) -> rule5))]
("tiger" "is" "round" "-")
((triple9) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The cat is rough.
True
5
proof
[(((((triple4 triple5) -> rule4) triple10) -> rule3))]
("cat" "is" "rough" "+")
((((triple4 triple5) -> (rule4 % int2)) triple10) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cat is not rough.
False
5
inv-proof
[(((((triple4 triple5) -> rule4) triple10) -> rule3))]
("cat" "is" "rough" "-")
((((triple4 triple5) -> (rule4 % int2)) triple10) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cat is round.
True
6
proof
[(((((((triple4 triple5) -> rule4) triple10) -> rule3)) -> rule5))]
("cat" "is" "round" "+")
((((((triple4 triple5) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int3
The cat is not round.
False
6
inv-proof
[(((((((triple4 triple5) -> rule4) triple10) -> rule3)) -> rule5))]
("cat" "is" "round" "-")
((((((triple4 triple5) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int3
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger needs the cat.
Unknown
rconc
[@1: The tiger needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "cat" "+")
The bald eagle does not like the tiger.
Unknown
inv-rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "tiger" "-")
The bald eagle needs the cat.
Unknown
rconc
[@1: The bald eagle needs the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "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 bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat is kind.[(triple4)] The cat likes the bald eagle.[(triple5)] The cat likes the tiger.[(triple6)] The cat needs the bald eagle.[(triple7)] The tiger is nice.[(triple8)] The tiger is rough.[(triple9)] The tiger likes the bald eagle.[(triple10)] @1: The cat chases the tiger.[(((triple4 triple5) -> rule4))] The tiger is round.[(((triple9) -> rule5))] @2: The cat is rough.[(((((triple4 triple5) -> rule4) triple10) -> rule3))] @3: The cat is round.[(((((((triple4 triple5) -> rule4) triple10) -> rule3)) -> rule5))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple5
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7
The tiger is nice.
("tiger" "is" "nice" "+")
triple8
The tiger is rough.
("tiger" "is" "rough" "+")
triple9
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple10
The cat chases the tiger.
("cat" "chases" "tiger" "+")
((triple4 triple5) -> (rule4 % int1))
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple9) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((((triple4 triple5) -> (rule4 % int2)) triple10) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int2
The cat is round.
("cat" "is" "round" "+")
((((((triple4 triple5) -> (rule4 % int3)) triple10) -> (rule3 % int2))) -> (rule5 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
int3