The bald eagle eats the tiger. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle needs the mouse. The mouse eats the bald eagle. The mouse is nice. The mouse visits the bald eagle. The mouse visits the tiger. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is red. The tiger needs the bald eagle. The tiger needs the mouse. The tiger visits the mouse. If the bald eagle is kind then the bald eagle visits the tiger. If something visits the mouse then it needs the bald eagle. All red things are kind. If something is nice then it visits the mouse. If something is nice then it eats the bald eagle. If something is kind and it needs the bald eagle then it visits the bald eagle. If something visits the mouse then it is red. If the mouse is blue and the mouse visits the bald eagle then the bald eagle visits the mouse.
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the bald eagle is kind then the bald eagle visits the tiger.
((("bald eagle" "is" "kind" "+")) -> ("bald eagle" "visits" "tiger" "+"))
If something visits the mouse then it needs the bald eagle.
((("something" "visits" "mouse" "+")) -> ("something" "needs" "bald eagle" "+"))
All red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is nice then it visits the mouse.
((("something" "is" "nice" "+")) -> ("something" "visits" "mouse" "+"))
If something is nice then it eats the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is kind and it needs the bald eagle then it visits the bald eagle.
((("something" "is" "kind" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the mouse then it is red.
((("something" "visits" "mouse" "+")) -> ("something" "is" "red" "+"))
If the mouse is blue and the mouse visits the bald eagle then the bald eagle visits the mouse.
((("mouse" "is" "blue" "+") ("mouse" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple6 OR ((triple7) -> rule5))]
("mouse" "eats" "bald eagle" "+")
triple6
((triple7) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The tiger does not need the bald eagle.
False
1
inv-proof
[(triple13 OR ((triple15) -> rule2))]
("tiger" "needs" "bald eagle" "-")
triple13
((triple15) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
True
2
proof
[(((triple2) -> rule5))]
("bald eagle" "eats" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is not kind.
False
2
inv-proof
[(((triple3) -> rule3) OR ((((((triple2) -> rule4)) -> rule7)) -> rule3))]
("bald eagle" "is" "kind" "-")
((triple3) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3
The bald eagle visits the tiger.
True
3
proof
[(((((triple3) -> rule3)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule1))]
("bald eagle" "visits" "tiger" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
((((((((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int4
The bald eagle does not need the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule2))]
("bald eagle" "needs" "bald eagle" "-")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The mouse is kind.
True
4
proof
[(((((((triple7) -> rule4)) -> rule7)) -> rule3))]
("mouse" "is" "kind" "+")
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3
The bald eagle does not visit the bald eagle.
False
6
inv-proof
[(((((triple3) -> rule3) ((((triple2) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule2)) -> rule6))]
("bald eagle" "visits" "bald eagle" "-")
((((triple3) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
((((((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int5
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3 OR ((((triple2) -> rule4)) -> rule7))] The bald eagle is rough.[(triple4)] The bald eagle needs the mouse.[(triple5)] The mouse eats the bald eagle.[(triple6 OR ((triple7) -> rule5))] The mouse is nice.[(triple7)] The mouse visits the bald eagle.[(triple8 OR ((((((((triple7) -> rule4)) -> rule7)) -> rule3) ((((triple7) -> rule4)) -> rule2)) -> rule6))] The mouse visits the tiger.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger eats the mouse.[(triple11)] The tiger is red.[(triple12 OR ((triple15) -> rule7))] The tiger needs the bald eagle.[(triple13 OR ((triple15) -> rule2))] The tiger needs the mouse.[(triple14)] The tiger visits the mouse.[(triple15)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule5))] The bald eagle is kind.[(((triple3) -> rule3) OR ((((((triple2) -> rule4)) -> rule7)) -> rule3))] The bald eagle visits the mouse.[(((triple2) -> rule4))] The mouse visits the mouse.[(((triple7) -> rule4))] The tiger is kind.[(((triple12) -> rule3) OR ((((triple15) -> rule7)) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple2) -> rule4)) -> rule2))] The bald eagle visits the tiger.[(((((triple3) -> rule3)) -> rule1) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule1))] The mouse is red.[(((((triple7) -> rule4)) -> rule7))] The mouse needs the bald eagle.[(((((triple7) -> rule4)) -> rule2))] The tiger visits the bald eagle.[(((((triple12) -> rule3) triple13) -> rule6) OR ((((triple12) -> rule3) ((triple15) -> rule2)) -> rule6) OR ((((((triple15) -> rule7)) -> rule3) triple13) -> rule6) OR ((((((triple15) -> rule7)) -> rule3) ((triple15) -> rule2)) -> rule6))] @3: The bald eagle visits the bald eagle.[(((((triple3) -> rule3) ((((triple2) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple2) -> rule4)) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule2)) -> rule6))] The mouse is kind.[(((((((triple7) -> rule4)) -> rule7)) -> rule3))]
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple5
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple6
((triple7) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple8
((((((((triple7) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
int1
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
int3
The mouse is red.
("mouse" "is" "red" "+")
int4
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple9
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple10
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
((triple15) -> (rule7 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple13
((triple15) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple14
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple2) -> (rule5 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple3) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
((triple2) -> (rule4 % int1))
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple7) -> (rule4 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple12) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
((((triple15) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
((((((((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is red.
("bald eagle" "is" "red" "+")
int3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int4
The mouse is red.
("mouse" "is" "red" "+")
((((triple7) -> (rule4 % int2))) -> (rule7 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
((((triple7) -> (rule4 % int2))) -> (rule2 % int1))
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
((((triple12) -> (rule3 % int2)) triple13) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple15) -> (rule2 % int2))) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
((((((triple15) -> (rule7 % int3))) -> (rule3 % int2)) triple13) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((((((triple15) -> (rule7 % int4))) -> (rule3 % int3)) ((triple15) -> (rule2 % int2))) -> (rule6 % int1))
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple3) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int4
((((((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule4 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int2
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int3
The bald eagle is red.
("bald eagle" "is" "red" "+")
int4
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
int5
The mouse is kind.
("mouse" "is" "kind" "+")
((((((triple7) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
int2
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int3