The bald eagle is round. The bald eagle likes the dog. The bald eagle likes the mouse. The bald eagle sees the dog. The bald eagle sees the mouse. The bald eagle visits the dog. The bald eagle visits the mouse. The dog is cold. The dog sees the bald eagle. The dog sees the mouse. The mouse is cold. The mouse likes the bald eagle. The mouse likes the dog. The mouse sees the bald eagle. The mouse sees the dog. The mouse visits the bald eagle. If something likes the dog then the dog sees the bald eagle. If something sees the mouse then it is round. If something likes the dog and it is rough then the dog visits the bald eagle. If something visits the dog then it is rough. If something sees the mouse then the mouse is kind. If the mouse sees the bald eagle then the bald eagle sees the mouse. If something is young then it sees the dog. If the bald eagle sees the mouse and the bald eagle is round then the bald eagle visits the dog.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something likes the dog then the dog sees the bald eagle.
((("something" "likes" "dog" "+")) -> ("dog" "sees" "bald eagle" "+"))
If something sees the mouse then it is round.
((("something" "sees" "mouse" "+")) -> ("something" "is" "round" "+"))
If something likes the dog and it is rough then the dog visits the bald eagle.
((("something" "likes" "dog" "+") ("something" "is" "rough" "+")) -> ("dog" "visits" "bald eagle" "+"))
If something visits the dog then it is rough.
((("something" "visits" "dog" "+")) -> ("something" "is" "rough" "+"))
If something sees the mouse then the mouse is kind.
((("something" "sees" "mouse" "+")) -> ("mouse" "is" "kind" "+"))
If the mouse sees the bald eagle then the bald eagle sees the mouse.
((("mouse" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If something is young then it sees the dog.
((("something" "is" "young" "+")) -> ("something" "sees" "dog" "+"))
If the bald eagle sees the mouse and the bald eagle is round then the bald eagle visits the dog.
((("bald eagle" "sees" "mouse" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "visits" "dog" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple12)]
("mouse" "likes" "bald eagle" "+")
triple12
The mouse does not see the dog.
False
1
inv-proof
[(triple15)]
("mouse" "sees" "dog" "-")
triple15
The dog is round.
True
2
proof
[(((triple10) -> rule2))]
("dog" "is" "round" "+")
((triple10) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple6) -> rule4) OR ((((triple5 triple1) -> rule8)) -> rule4) OR ((((triple5 ((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((((triple14) -> rule6) triple1) -> rule8)) -> rule4) OR ((((((triple14) -> rule6) ((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple5 ((((triple14) -> rule6)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule8)) -> rule4))]
("bald eagle" "is" "rough" "-")
((triple6) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((((triple5 triple1) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
((((((triple14) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
((((((triple14) -> (rule6 % int4)) ((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
((((triple5 ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "rough" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "rough" "+")
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 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" "+")
@0: The bald eagle is round.[(triple1 OR ((triple5) -> rule2) OR ((((triple14) -> rule6)) -> rule2))] The bald eagle likes the dog.[(triple2)] The bald eagle likes the mouse.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the mouse.[(triple5 OR ((triple14) -> rule6))] The bald eagle visits the dog.[(triple6 OR ((triple5 triple1) -> rule8) OR ((triple5 ((triple5) -> rule2)) -> rule8) OR ((((triple14) -> rule6) triple1) -> rule8) OR ((((triple14) -> rule6) ((triple5) -> rule2)) -> rule8) OR ((triple5 ((((triple14) -> rule6)) -> rule2)) -> rule8) OR ((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule8))] The bald eagle visits the mouse.[(triple7)] The dog is cold.[(triple8)] The dog sees the bald eagle.[(triple9 OR ((triple13) -> rule1) OR ((triple2) -> rule1))] The dog sees the mouse.[(triple10)] The mouse is cold.[(triple11)] The mouse likes the bald eagle.[(triple12)] The mouse likes the dog.[(triple13)] The mouse sees the bald eagle.[(triple14)] The mouse sees the dog.[(triple15)] The mouse visits the bald eagle.[(triple16)] @1: The bald eagle is rough.[(((triple6) -> rule4) OR ((((triple5 triple1) -> rule8)) -> rule4) OR ((((triple5 ((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((((triple14) -> rule6) triple1) -> rule8)) -> rule4) OR ((((((triple14) -> rule6) ((triple5) -> rule2)) -> rule8)) -> rule4) OR ((((triple5 ((((triple14) -> rule6)) -> rule2)) -> rule8)) -> rule4) OR ((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule8)) -> rule4))] The dog is round.[(((triple10) -> rule2))] The mouse is kind.[(((triple10) -> rule5) OR ((triple5) -> rule5) OR ((((triple14) -> rule6)) -> rule5))] @2: The dog visits the bald eagle.[(((triple2 ((triple6) -> rule4)) -> rule3) OR ((triple2 ((((triple5 triple1) -> rule8)) -> rule4)) -> rule3) OR ((triple2 ((((triple5 ((triple5) -> rule2)) -> rule8)) -> rule4)) -> rule3) OR ((triple2 ((((((triple14) -> rule6) triple1) -> rule8)) -> rule4)) -> rule3) OR ((triple2 ((((((triple14) -> rule6) ((triple5) -> rule2)) -> rule8)) -> rule4)) -> rule3) OR ((triple2 ((((triple5 ((((triple14) -> rule6)) -> rule2)) -> rule8)) -> rule4)) -> rule3) OR ((triple2 ((((((triple14) -> rule6) ((((triple14) -> rule6)) -> rule2)) -> rule8)) -> rule4)) -> rule3))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
((triple5) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple3
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple5
((triple14) -> (rule6 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
((triple5 triple1) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
((triple5 ((triple5) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
((((triple14) -> (rule6 % int2)) triple1) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
((((triple14) -> (rule6 % int3)) ((triple5) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
((triple5 ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
((((triple14) -> (rule6 % int3)) ((((triple14) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple9
((triple13) -> (rule1 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
((triple2) -> (rule1 % int1))
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
int1
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple12
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple13
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple16
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple6) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
((((triple5 triple1) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
((((triple5 ((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
((((((triple14) -> (rule6 % int3)) triple1) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
((((((triple14) -> (rule6 % int4)) ((triple5) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
((((triple5 ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
((((((triple14) -> (rule6 % int4)) ((((triple14) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
The dog is round.
("dog" "is" "round" "+")
((triple10) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple10) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((triple5) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
((((triple14) -> (rule6 % int2))) -> (rule5 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple2 ((triple6) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
((triple2 ((((triple5 triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
((triple2 ((((triple5 ((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
((triple2 ((((((triple14) -> (rule6 % int4)) triple1) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int4
((triple2 ((((((triple14) -> (rule6 % int5)) ((triple5) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int5
((triple2 ((((triple5 ((((triple14) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int5
((triple2 ((((((triple14) -> (rule6 % int5)) ((((triple14) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int3
The bald eagle is round.
("bald eagle" "is" "round" "+")
int4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int5