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