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