The bald eagle chases the mouse. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle likes the mouse. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is round. The mouse is young. The mouse likes the bald eagle. The mouse visits the bald eagle. If someone is nice and they visit the mouse then they chase the mouse. If someone is nice and they like the bald eagle then they are round. If someone is rough and they like the bald eagle then they visit the mouse.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If someone is nice and they visit the mouse then they chase the mouse.
((("someone" "is" "nice" "+") ("someone" "visits" "mouse" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is nice and they like the bald eagle then they are round.
((("someone" "is" "nice" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and they like the bald eagle then they visit the mouse.
((("someone" "is" "rough" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "mouse" "+"))
The bald eagle is young.
True
1
proof
[(triple6)]
("bald eagle" "is" "young" "+")
triple6
The mouse is not round.
False
1
inv-proof
[(triple13 OR ((triple11 triple15) -> rule2))]
("mouse" "is" "round" "-")
triple13
((triple11 triple15) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse visits the mouse.
True
3
proof
[(((triple12 triple15) -> rule3))]
("mouse" "visits" "mouse" "+")
((triple12 triple15) -> (rule3 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse does not visit the mouse.
False
3
inv-proof
[(((triple12 triple15) -> rule3))]
("mouse" "visits" "mouse" "-")
((triple12 triple15) -> (rule3 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse chases the mouse.
True
5
proof
[(((triple11 ((triple12 triple15) -> rule3)) -> rule1))]
("mouse" "chases" "mouse" "+")
((triple11 ((triple12 triple15) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse does not chase the mouse.
False
5
inv-proof
[(((triple11 ((triple12 triple15) -> rule3)) -> rule1))]
("mouse" "chases" "mouse" "-")
((triple11 ((triple12 triple15) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
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 bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
random
[@0: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1 OR ((triple3 triple8) -> rule1))] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle is round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle likes the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse is kind.[(triple10)] The mouse is nice.[(triple11)] The mouse is rough.[(triple12)] The mouse is round.[(triple13 OR ((triple11 triple15) -> rule2))] The mouse is young.[(triple14)] The mouse likes the bald eagle.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The mouse visits the mouse.[(((triple12 triple15) -> rule3))] @2: The mouse chases the mouse.[(((triple11 ((triple12 triple15) -> rule3)) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
((triple3 triple8) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple6
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple7
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple8
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse is round.
("mouse" "is" "round" "+")
triple13
((triple11 triple15) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple15
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple16
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple12 triple15) -> (rule3 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple11 ((triple12 triple15) -> (rule3 % int2))) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2