The bald eagle is big. The cat eats the bald eagle. The cat eats the lion. The cat is cold. The cat likes the lion. The cat likes the mouse. The cat sees the bald eagle. The cat sees the lion. The lion is big. The lion is round. The mouse eats the bald eagle. The mouse likes the bald eagle. The mouse likes the cat. The mouse likes the lion. The mouse sees the bald eagle. The mouse sees the lion. If the mouse eats the bald eagle then the mouse sees the cat.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the lion.
("mouse" "likes" "lion" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If the mouse eats the bald eagle then the mouse sees the cat.
((("mouse" "eats" "bald eagle" "+")) -> ("mouse" "sees" "cat" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple2)]
("cat" "eats" "bald eagle" "+")
triple2
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple2)]
("cat" "eats" "bald eagle" "-")
triple2
The mouse sees the cat.
True
2
proof
[(((triple11) -> rule1))]
("mouse" "sees" "cat" "+")
((triple11) -> (rule1 % int1))
The mouse sees the cat.
("mouse" "sees" "cat" "+")
int1
The mouse does not see the cat.
False
2
inv-proof
[(((triple11) -> rule1))]
("mouse" "sees" "cat" "-")
((triple11) -> (rule1 % int1))
The mouse sees the cat.
("mouse" "sees" "cat" "+")
int1
The cat does not eat the mouse.
Unknown
inv-random
[@0: The cat eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "mouse" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The bald eagle does not eat the lion.
Unknown
inv-random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The bald eagle is big.[(triple1)] The cat eats the bald eagle.[(triple2)] The cat eats the lion.[(triple3)] The cat is cold.[(triple4)] The cat likes the lion.[(triple5)] The cat likes the mouse.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the lion.[(triple8)] The lion is big.[(triple9)] The lion is round.[(triple10)] The mouse eats the bald eagle.[(triple11)] The mouse likes the bald eagle.[(triple12)] The mouse likes the cat.[(triple13)] The mouse likes the lion.[(triple14)] The mouse sees the bald eagle.[(triple15)] The mouse sees the lion.[(triple16)] @1: The mouse sees the cat.[(((triple11) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple2
The cat eats the lion.
("cat" "eats" "lion" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat likes the lion.
("cat" "likes" "lion" "+")
triple5
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the lion.
("cat" "sees" "lion" "+")
triple8
The lion is big.
("lion" "is" "big" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple11
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple12
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple13
The mouse likes the lion.
("mouse" "likes" "lion" "+")
triple14
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple15
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple16
The mouse sees the cat.
("mouse" "sees" "cat" "+")
((triple11) -> (rule1 % int1))
The mouse sees the cat.
("mouse" "sees" "cat" "+")
int1