The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is blue. The bald eagle is red. The bald eagle is round. The bald eagle needs the rabbit. The lion eats the bald eagle. The lion needs the rabbit. The rabbit chases the bald eagle. The rabbit chases the lion. The rabbit eats the lion. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the bald eagle. If the rabbit needs the bald eagle then the bald eagle chases the lion. If something eats the rabbit and it chases the bald eagle then the rabbit chases the lion. If something is round and it eats the bald eagle then the bald eagle eats the lion. If the lion chases the rabbit and the rabbit eats the bald eagle then the lion is rough. If something is red and it chases the lion then the lion needs the rabbit. If something chases the rabbit and the rabbit chases the lion then it eats the bald eagle. If something eats the lion then it chases the bald eagle. If something needs the lion then it chases the rabbit.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
If the rabbit needs the bald eagle then the bald eagle chases the lion.
((("rabbit" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "lion" "+"))
If something eats the rabbit and it chases the bald eagle then the rabbit chases the lion.
((("something" "eats" "rabbit" "+") ("something" "chases" "bald eagle" "+")) -> ("rabbit" "chases" "lion" "+"))
If something is round and it eats the bald eagle then the bald eagle eats the lion.
((("something" "is" "round" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
If the lion chases the rabbit and the rabbit eats the bald eagle then the lion is rough.
((("lion" "chases" "rabbit" "+") ("rabbit" "eats" "bald eagle" "+")) -> ("lion" "is" "rough" "+"))
If something is red and it chases the lion then the lion needs the rabbit.
((("something" "is" "red" "+") ("something" "chases" "lion" "+")) -> ("lion" "needs" "rabbit" "+"))
If something chases the rabbit and the rabbit chases the lion then it eats the bald eagle.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "lion" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the lion then it chases the bald eagle.
((("something" "eats" "lion" "+")) -> ("something" "chases" "bald eagle" "+"))
If something needs the lion then it chases the rabbit.
((("something" "needs" "lion" "+")) -> ("something" "chases" "rabbit" "+"))
The rabbit chases the bald eagle.
True
1
proof
[(triple10 OR ((triple12) -> rule7))]
("rabbit" "chases" "bald eagle" "+")
triple10
((triple12) -> (rule7 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the rabbit.
False
1
inv-proof
[(triple2)]
("bald eagle" "chases" "rabbit" "-")
triple2
The bald eagle eats the bald eagle.
True
3
proof
[(((triple2 triple11) -> rule6))]
("bald eagle" "eats" "bald eagle" "+")
((triple2 triple11) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((triple2 triple11) -> rule6))]
("bald eagle" "eats" "bald eagle" "-")
((triple2 triple11) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the lion.
True
5
proof
[(((triple6 ((triple2 triple11) -> rule6)) -> rule3))]
("bald eagle" "eats" "lion" "+")
((triple6 ((triple2 triple11) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not eat the lion.
False
5
inv-proof
[(((triple6 ((triple2 triple11) -> rule6)) -> rule3))]
("bald eagle" "eats" "lion" "-")
((triple6 ((triple2 triple11) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
True
6
proof
[(((((triple6 ((triple2 triple11) -> rule6)) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "+")
((((triple6 ((triple2 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle does not chase the bald eagle.
False
6
inv-proof
[(((((triple6 ((triple2 triple11) -> rule6)) -> rule3)) -> rule7))]
("bald eagle" "chases" "bald eagle" "-")
((((triple6 ((triple2 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The rabbit does not eat the bald eagle.
Unknown
inv-rconc
[@2: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (rule6 <- rule8 <- FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The lion chases the rabbit.
Unknown
rconc
[@1: The lion chases the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "chases" "rabbit" "+")
The lion is not rough.
Unknown
inv-rconc
[@2: The lion is rough.[CWA. Example of deepest failure = (rule4 <- rule8 <- FAIL)]]
("lion" "is" "rough" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The bald eagle does not need the lion.
Unknown
inv-random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bald eagle chases the lion.[(triple1 OR ((triple16) -> rule1))] The bald eagle chases the rabbit.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is blue.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle needs the rabbit.[(triple7)] The lion eats the bald eagle.[(triple8)] The lion needs the rabbit.[(triple9 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple16) -> rule1)) -> rule5))] The rabbit chases the bald eagle.[(triple10 OR ((triple12) -> rule7))] The rabbit chases the lion.[(triple11)] The rabbit eats the lion.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is rough.[(triple14)] The rabbit is round.[(triple15)] The rabbit needs the bald eagle.[(triple16)] @1: The bald eagle eats the bald eagle.[(((triple2 triple11) -> rule6))] @2: The bald eagle eats the lion.[(((triple6 ((triple2 triple11) -> rule6)) -> rule3))] @3: The bald eagle chases the bald eagle.[(((((triple6 ((triple2 triple11) -> rule6)) -> rule3)) -> rule7))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
((triple16) -> (rule1 % int1))
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple7
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple8
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple9
((triple5 triple1) -> (rule5 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
((triple5 ((triple16) -> (rule1 % int2))) -> (rule5 % int1))
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
int1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple10
((triple12) -> (rule7 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple11
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple12
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple13
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple14
The rabbit is round.
("rabbit" "is" "round" "+")
triple15
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple16
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple2 triple11) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple6 ((triple2 triple11) -> (rule6 % int2))) -> (rule3 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple6 ((triple2 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3