The bald eagle is cold. The bald eagle is kind. The bald eagle needs the bear. The bald eagle needs the mouse. The bald eagle sees the bear. The bald eagle visits the rabbit. The bear is cold. The bear needs the mouse. The bear needs the rabbit. The bear sees the bald eagle. The bear visits the bald eagle. The bear visits the mouse. The mouse is cold. The mouse needs the rabbit. The mouse visits the bear. The rabbit visits the bald eagle. If the mouse visits the rabbit and the rabbit sees the bear then the mouse is blue. If someone is blue and they see the rabbit then they are green. If someone is cold then they see the rabbit. If someone needs the bear then they are cold. If someone sees the bald eagle then they are cold. If someone sees the rabbit then the rabbit needs the bald eagle. If someone sees the rabbit and the rabbit needs the bald eagle then the rabbit needs the bear. If someone sees the mouse and the mouse sees the bear then they are rough. If someone is rough then they need the mouse.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the mouse visits the rabbit and the rabbit sees the bear then the mouse is blue.
((("mouse" "visits" "rabbit" "+") ("rabbit" "sees" "bear" "+")) -> ("mouse" "is" "blue" "+"))
If someone is blue and they see the rabbit then they are green.
((("someone" "is" "blue" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they see the rabbit.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone needs the bear then they are cold.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the bald eagle then they are cold.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the rabbit then the rabbit needs the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "needs" "bald eagle" "+"))
If someone sees the rabbit and the rabbit needs the bald eagle then the rabbit needs the bear.
((("someone" "sees" "rabbit" "+") ("rabbit" "needs" "bald eagle" "+")) -> ("rabbit" "needs" "bear" "+"))
If someone sees the mouse and the mouse sees the bear then they are rough.
((("someone" "sees" "mouse" "+") ("mouse" "sees" "bear" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they need the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "mouse" "+"))
The bald eagle visits the rabbit.
True
1
proof
[(triple6)]
("bald eagle" "visits" "rabbit" "+")
triple6
The bald eagle does not visit the rabbit.
False
1
inv-proof
[(triple6)]
("bald eagle" "visits" "rabbit" "-")
triple6
The mouse sees the rabbit.
True
2
proof
[(((triple13) -> rule3))]
("mouse" "sees" "rabbit" "+")
((triple13) -> (rule3 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The mouse does not see the rabbit.
False
2
inv-proof
[(((triple13) -> rule3))]
("mouse" "sees" "rabbit" "-")
((triple13) -> (rule3 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The rabbit needs the bald eagle.
True
3
proof
[(((((triple1) -> rule3)) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6))]
("rabbit" "needs" "bald eagle" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
((((triple13) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
((((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The rabbit does not need the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6))]
("rabbit" "needs" "bald eagle" "-")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
((((triple13) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
((((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The rabbit needs the bear.
True
6
proof
[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7))]
("rabbit" "needs" "bear" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
((((triple1) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
((((triple13) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((triple1) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((triple1) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((triple7) -> (rule3 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The rabbit does not need the bear.
False
6
inv-proof
[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7))]
("rabbit" "needs" "bear" "-")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
((((triple1) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
((((triple13) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((triple1) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((triple1) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((triple7) -> (rule3 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The rabbit is cold.
True
7
proof
[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4))]
("rabbit" "is" "cold" "+")
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((((triple1) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int4)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((((triple13) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((triple1) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((triple1) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((triple13) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The rabbit is not cold.
False
7
inv-proof
[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4))]
("rabbit" "is" "cold" "-")
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((((triple1) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int4)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((((triple13) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((triple1) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((triple1) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((triple13) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The rabbit sees the rabbit.
True
8
proof
[(((((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
("rabbit" "sees" "rabbit" "+")
((((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((((triple1) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple1) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int5)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((((triple13) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((triple1) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int7
((((((((triple1) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int6))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int7
((((((((triple13) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int7
((((((((triple7) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int6))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int7
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((((triple10) -> (rule5 % int8))) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int7
The bear is cold.
("bear" "is" "cold" "+")
int8
((((((((((triple3) -> (rule4 % int8))) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int8
((((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The rabbit does not see the rabbit.
False
8
inv-proof
[(((((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
("rabbit" "sees" "rabbit" "-")
((((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((((triple1) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple1) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int5)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((((triple13) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((triple1) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int7
((((((((triple1) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int6))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int7
((((((((triple13) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int7
((((((((triple7) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int6))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int7
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((((triple10) -> (rule5 % int8))) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int7
The bear is cold.
("bear" "is" "cold" "+")
int8
((((((((((triple3) -> (rule4 % int8))) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int8
((((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The mouse is not rough.
Unknown
inv-rconc
[@1: The mouse is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "is" "rough" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "is" "rough" "+")
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "green" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "green" "-")
The rabbit needs the mouse.
Unknown
rconc
[@2: The rabbit needs the mouse.[CWA. Example of deepest failure = (rule9 <- rule8 <- FAIL)]]
("rabbit" "needs" "mouse" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The bald eagle does not see the bald eagle.
Unknown
inv-random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "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 is cold.[(triple1 OR ((triple3) -> rule4))] The bald eagle is kind.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle sees the bear.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The bear is cold.[(triple7 OR ((triple10) -> rule5))] The bear needs the mouse.[(triple8)] The bear needs the rabbit.[(triple9)] The bear sees the bald eagle.[(triple10)] The bear visits the bald eagle.[(triple11)] The bear visits the mouse.[(triple12)] The mouse is cold.[(triple13)] The mouse needs the rabbit.[(triple14)] The mouse visits the bear.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle sees the rabbit.[(((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] The bear sees the rabbit.[(((triple7) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] The mouse sees the rabbit.[(((triple13) -> rule3))] @2: The rabbit needs the bald eagle.[(((((triple1) -> rule3)) -> rule6) OR ((((triple13) -> rule3)) -> rule6) OR ((((triple7) -> rule3)) -> rule6) OR ((((((triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple3) -> rule4)) -> rule3)) -> rule6))] @3: The rabbit needs the bear.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7) OR ((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7))] @4: The rabbit is cold.[(((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4) OR ((((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4))] @5: The rabbit sees the rabbit.[(((((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple1) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple13) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((triple7) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple1) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple13) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((triple7) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple10) -> rule5)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((((triple10) -> rule5)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3) OR ((((((((((triple3) -> rule4)) -> rule3) ((((((triple3) -> rule4)) -> rule3)) -> rule6)) -> rule7)) -> rule4)) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
((triple3) -> (rule4 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple5
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple6
The bear is cold.
("bear" "is" "cold" "+")
triple7
((triple10) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple8
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple9
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple10
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple11
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple12
The mouse is cold.
("mouse" "is" "cold" "+")
triple13
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple14
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple15
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple16
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple1) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
((triple7) -> (rule3 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
((((triple10) -> (rule5 % int2))) -> (rule3 % int1))
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
((triple13) -> (rule3 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
((((triple13) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int2
((((triple7) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
((((((triple10) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
((((triple1) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple1) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int3)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
((((triple13) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple13) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((triple1) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((triple1) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((triple13) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((triple13) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((triple7) -> (rule3 % int4)) ((((((triple10) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((triple7) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple10) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((triple3) -> (rule4 % int4))) -> (rule3 % int3)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((((triple1) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
((((((triple1) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple1) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int4)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
((((((triple13) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((triple1) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple13) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((triple1) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((triple1) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((triple13) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((triple13) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((triple7) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((triple7) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple10) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((triple3) -> (rule4 % int5))) -> (rule3 % int4)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int2
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((((((((triple1) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
((((((((triple1) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple1) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int5)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
((((((((triple13) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
((((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((((triple10) -> (rule5 % int7))) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
The bear is cold.
("bear" "is" "cold" "+")
int7
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
((((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((triple13) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((((triple3) -> (rule4 % int7))) -> (rule3 % int6)) ((((triple7) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int7
((((((((triple1) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int7
((((((((triple1) -> (rule3 % int6)) ((((((triple3) -> (rule4 % int5))) -> (rule3 % int6))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int5
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int6
((((((((triple13) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int7
((((((((triple13) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int7
((((((((triple7) -> (rule3 % int6)) ((((((triple10) -> (rule5 % int5))) -> (rule3 % int6))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
int5
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int6
((((((((triple7) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int7
((((((((((triple10) -> (rule5 % int6))) -> (rule3 % int5)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
((((((((((triple10) -> (rule5 % int8))) -> (rule3 % int7)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int7
The bear is cold.
("bear" "is" "cold" "+")
int8
((((((((((triple3) -> (rule4 % int8))) -> (rule3 % int7)) ((((((triple10) -> (rule5 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
int5
The bear is cold.
("bear" "is" "cold" "+")
int6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int7
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int8
((((((((((triple3) -> (rule4 % int6))) -> (rule3 % int5)) ((((((triple3) -> (rule4 % int6))) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int3
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int4
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int5
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int6