The bald eagle eats the mouse. The bald eagle visits the mouse. The bald eagle visits the rabbit. The lion is big. The lion sees the bald eagle. The lion visits the rabbit. The mouse is blue. The rabbit eats the lion. The rabbit eats the mouse. The rabbit is big. The rabbit is blue. The rabbit sees the lion. The rabbit sees the mouse. The rabbit visits the lion. The rabbit visits the mouse. If someone visits the rabbit and they are big then the rabbit sees the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The lion is big.
("lion" "is" "big" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone visits the rabbit and they are big then the rabbit sees the bald eagle.
((("someone" "visits" "rabbit" "+") ("someone" "is" "big" "+")) -> ("rabbit" "sees" "bald eagle" "+"))
The rabbit is blue.
True
1
proof
[(triple11)]
("rabbit" "is" "blue" "+")
triple11
The lion does not visit the rabbit.
False
1
inv-proof
[(triple6)]
("lion" "visits" "rabbit" "-")
triple6
The rabbit sees the bald eagle.
True
3
proof
[(((triple6 triple4) -> rule1))]
("rabbit" "sees" "bald eagle" "+")
((triple6 triple4) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
The rabbit does not see the bald eagle.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("rabbit" "sees" "bald eagle" "-")
((triple6 triple4) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1
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 mouse visits the lion.
Unknown
random
[@0: The mouse visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "lion" "+")
The bald eagle does not see the mouse.
Unknown
inv-random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle visits the mouse.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The lion is big.[(triple4)] The lion sees the bald eagle.[(triple5)] The lion visits the rabbit.[(triple6)] The mouse is blue.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is big.[(triple10)] The rabbit is blue.[(triple11)] The rabbit sees the lion.[(triple12)] The rabbit sees the mouse.[(triple13)] The rabbit visits the lion.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The rabbit sees the bald eagle.[(((triple6 triple4) -> rule1))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple5
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple6
The mouse is blue.
("mouse" "is" "blue" "+")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple12
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple13
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
((triple6 triple4) -> (rule1 % int1))
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
int1