The bald eagle does not chase the mouse. The bald eagle does not chase the rabbit. The bald eagle is not red. The bald eagle visits the mouse. The bald eagle visits the rabbit. The mouse chases the bald eagle. The mouse is nice. The mouse visits the bald eagle. The mouse visits the rabbit. The rabbit chases the tiger. The rabbit likes the bald eagle. The tiger chases the bald eagle. The tiger is not big. The tiger likes the mouse. The tiger visits the rabbit. If someone chases the bald eagle then the bald eagle is nice.
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone chases the bald eagle then the bald eagle is nice.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "nice" "+"))
The bald eagle does not chase the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "-")
triple1
The rabbit does not chase the tiger.
False
1
inv-proof
[(triple10)]
("rabbit" "chases" "tiger" "-")
triple10
The bald eagle is nice.
True
2
proof
[(((triple12) -> rule1) OR ((triple6) -> rule1))]
("bald eagle" "is" "nice" "+")
((triple12) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple12) -> rule1) OR ((triple6) -> rule1))]
("bald eagle" "is" "nice" "-")
((triple12) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
The bald eagle does not like the tiger.
Unknown
inv-random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "-")
The rabbit visits the tiger.
Unknown
random
[@0: The rabbit visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "tiger" "+")
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle does not chase the rabbit.[(triple2)] The bald eagle is not red.[(triple3)] The bald eagle visits the mouse.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse is nice.[(triple7)] The mouse visits the bald eagle.[(triple8)] The mouse visits the rabbit.[(triple9)] The rabbit chases the tiger.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger is not big.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The bald eagle is nice.[(((triple12) -> rule1) OR ((triple6) -> rule1))]
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
triple2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple8
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple9
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple10
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger is not big.
("tiger" "is" "big" "-")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple15
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple12) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1