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