The bald eagle is not cold. The bald eagle sees the rabbit. The cat eats the mouse. The cat eats the rabbit. The cat is big. The cat sees the mouse. The mouse eats the bald eagle. The mouse needs the rabbit. The rabbit is rough. The rabbit needs the bald eagle. The rabbit needs the cat. The rabbit does not see the cat. If someone is young then they do not eat the bald eagle. If someone needs the bald eagle then they eat the bald eagle. If someone sees the rabbit then the rabbit sees the mouse.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
If someone is young then they do not eat the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "eats" "bald eagle" "-"))
If someone needs the bald eagle then they eat the bald eagle.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone sees the rabbit then the rabbit sees the mouse.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "sees" "mouse" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple7)]
("mouse" "eats" "bald eagle" "+")
triple7
The cat is not big.
False
1
inv-proof
[(triple5)]
("cat" "is" "big" "-")
triple5
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 bald eagle eats the cat.
Unknown
random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "+")
@0: The bald eagle is not cold.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The cat eats the mouse.[(triple3)] The cat eats the rabbit.[(triple4)] The cat is big.[(triple5)] The cat sees the mouse.[(triple6)] The mouse eats the bald eagle.[(triple7)] The mouse needs the rabbit.[(triple8)] The rabbit does not see the cat.[(triple12)] The rabbit is rough.[(triple9)] The rabbit needs the bald eagle.[(triple10)] The rabbit needs the cat.[(triple11)] @1: The rabbit eats the bald eagle.[(((triple10) -> rule2))] The rabbit sees the mouse.[(((triple2) -> rule3))]
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple6
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple7
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple8
The rabbit does not see the cat.
("rabbit" "sees" "cat" "-")
triple12
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple10
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
((triple2) -> (rule3 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1