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