The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle is not cold. The bald eagle does not need the cat. The bald eagle needs the rabbit. The cat chases the bald eagle. The cat chases the rabbit. The cat does not eat the bald eagle. The cat eats the rabbit. The cat is big. The cat needs the bald eagle. The cat does not need the rabbit. The rabbit chases the cat. The rabbit eats the bald eagle. The rabbit needs the cat. If someone chases the cat then the cat eats the rabbit. If someone chases the rabbit then the rabbit is rough. If someone is cold then they chase the rabbit. If someone is cold and they do not need the rabbit then the rabbit needs the bald eagle. If someone is rough then they eat the rabbit. If someone needs the cat and they are nice then they do not eat the rabbit. If the rabbit is cold and the rabbit eats the cat then the cat is not nice. If someone chases the bald eagle and they do not chase the rabbit then they eat the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat does not need the rabbit.
("cat" "needs" "rabbit" "-")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone chases the cat then the cat eats the rabbit.
((("someone" "chases" "cat" "+")) -> ("cat" "eats" "rabbit" "+"))
If someone chases the rabbit then the rabbit is rough.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If someone is cold then they chase the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is cold and they do not need the rabbit then the rabbit needs the bald eagle.
((("someone" "is" "cold" "+") ("someone" "needs" "rabbit" "~")) -> ("rabbit" "needs" "bald eagle" "+"))
If someone is rough then they eat the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone needs the cat and they are nice then they do not eat the rabbit.
((("someone" "needs" "cat" "+") ("someone" "is" "nice" "+")) -> ("someone" "eats" "rabbit" "-"))
If the rabbit is cold and the rabbit eats the cat then the cat is not nice.
((("rabbit" "is" "cold" "+") ("rabbit" "eats" "cat" "+")) -> ("cat" "is" "nice" "-"))
If someone chases the bald eagle and they do not chase the rabbit then they eat the cat.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "rabbit" "~")) -> ("someone" "eats" "cat" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The rabbit does not chase the cat.
False
1
inv-proof
[(triple14)]
("rabbit" "chases" "cat" "-")
triple14
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle does not need the cat.[(triple5)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is not cold.[(triple4)] The bald eagle needs the rabbit.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat chases the rabbit.[(triple8)] The cat does not eat the bald eagle.[(triple9)] The cat does not need the rabbit.[(triple13)] The cat eats the rabbit.[(triple10 OR ((triple1) -> rule1) OR ((triple14) -> rule1))] The cat is big.[(triple11)] The cat needs the bald eagle.[(triple12)] The rabbit chases the cat.[(triple14)] The rabbit eats the bald eagle.[(triple15)] The rabbit needs the cat.[(triple16)] @1: The rabbit is rough.[(((triple2) -> rule2) OR ((triple8) -> rule2))] @2: The rabbit eats the rabbit.[(((((triple2) -> rule2)) -> rule5) OR ((((triple8) -> rule2)) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle does not need the cat.
("bald eagle" "needs" "cat" "-")
triple5
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple6
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple7
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple8
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple9
The cat does not need the rabbit.
("cat" "needs" "rabbit" "-")
triple13
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple10
((triple1) -> (rule1 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
((triple14) -> (rule1 % int1))
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
int1
The cat is big.
("cat" "is" "big" "+")
triple11
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple12
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple14
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple15
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple16
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple2) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
((triple8) -> (rule2 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((triple2) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
((((triple8) -> (rule2 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2