The lion eats the mouse. The lion eats the rabbit. The lion eats the tiger. The lion is cold. The lion is round. The mouse chases the lion. The mouse does not chase the rabbit. The mouse eats the lion. The mouse is big. The mouse is cold. The rabbit is cold. The rabbit is young. The tiger chases the rabbit. The tiger is cold. The tiger is round. If something needs the rabbit and the rabbit chases the mouse then the rabbit needs the lion. If something is cold then it eats the tiger. If something eats the tiger then the tiger does not chase the lion. If the lion is not big then the lion is cold. If something chases the tiger then the tiger is cold. If something is round and not big then it chases the rabbit. If something eats the tiger and the tiger does not chase the lion then it needs the mouse. If something is young and it does not eat the tiger then the tiger does not eat the rabbit.
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is round.
("lion" "is" "round" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something needs the rabbit and the rabbit chases the mouse then the rabbit needs the lion.
((("something" "needs" "rabbit" "+") ("rabbit" "chases" "mouse" "+")) -> ("rabbit" "needs" "lion" "+"))
If something is cold then it eats the tiger.
((("something" "is" "cold" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the tiger then the tiger does not chase the lion.
((("something" "eats" "tiger" "+")) -> ("tiger" "chases" "lion" "-"))
If the lion is not big then the lion is cold.
((("lion" "is" "big" "~")) -> ("lion" "is" "cold" "+"))
If something chases the tiger then the tiger is cold.
((("something" "chases" "tiger" "+")) -> ("tiger" "is" "cold" "+"))
If something is round and not big then it chases the rabbit.
((("something" "is" "round" "+") ("something" "is" "big" "~")) -> ("something" "chases" "rabbit" "+"))
If something eats the tiger and the tiger does not chase the lion then it needs the mouse.
((("something" "eats" "tiger" "+") ("tiger" "chases" "lion" "~")) -> ("something" "needs" "mouse" "+"))
If something is young and it does not eat the tiger then the tiger does not eat the rabbit.
((("something" "is" "young" "+") ("something" "eats" "tiger" "~")) -> ("tiger" "eats" "rabbit" "-"))
The mouse is cold.
True
1
proof
[(triple10)]
("mouse" "is" "cold" "+")
triple10
The mouse does not chase the lion.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "lion" "-")
triple6
The tiger does not chase the lion.
True
2
proof
[(((triple3) -> rule3) OR ((((triple10) -> rule2)) -> rule3) OR ((((triple11) -> rule2)) -> rule3) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
("tiger" "chases" "lion" "-")
((triple3) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
((((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
The tiger chases the lion.
False
2
inv-proof
[(((triple3) -> rule3) OR ((((triple10) -> rule2)) -> rule3) OR ((((triple11) -> rule2)) -> rule3) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]
("tiger" "chases" "lion" "+")
((triple3) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
((((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
The mouse needs the mouse.
True
5
proof
[(((((triple10) -> rule2) ((triple3) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))]
("mouse" "needs" "mouse" "+")
((((triple10) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
((((triple10) -> (rule2 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
The tiger does not need the mouse.
False
5
inv-proof
[(((((triple14) -> rule2) ((triple3) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))]
("tiger" "needs" "mouse" "-")
((((triple14) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple14) -> (rule2 % int4)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((triple14) -> (rule2 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple14) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
The rabbit does not need the lion.
Unknown
inv-rconc
[@1: The rabbit needs the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "lion" "-")
The lion chases the rabbit.
Unknown
rconc
[@1: The lion chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "rabbit" "+")
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The lion chases the mouse.
Unknown
random
[@0: The lion chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "mouse" "+")
The lion does not chase the tiger.
Unknown
inv-random
[@0: The lion chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "tiger" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The lion eats the mouse.[(triple1)] The lion eats the rabbit.[(triple2)] The lion eats the tiger.[(triple3 OR ((triple4) -> rule2))] The lion is cold.[(triple4)] The lion is round.[(triple5)] The mouse chases the lion.[(triple6)] The mouse does not chase the rabbit.[(triple7)] The mouse eats the lion.[(triple8)] The mouse is big.[(triple9)] The mouse is cold.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is young.[(triple12)] The tiger chases the rabbit.[(triple13)] The tiger is cold.[(triple14)] The tiger is round.[(triple15)] @1: The mouse eats the tiger.[(((triple10) -> rule2))] The rabbit eats the tiger.[(((triple11) -> rule2))] The tiger does not chase the lion.[(((triple3) -> rule3) OR ((((triple10) -> rule2)) -> rule3) OR ((((triple11) -> rule2)) -> rule3) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The tiger eats the tiger.[(((triple14) -> rule2))] @2: The lion needs the mouse.[(((triple3 ((triple3) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((triple3) -> rule3)) -> rule7) OR ((triple3 ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((triple3 ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((triple3 ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((triple3 ((((triple4) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))] The mouse needs the mouse.[(((((triple10) -> rule2) ((triple3) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((((triple10) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))] The rabbit needs the mouse.[(((((triple11) -> rule2) ((triple3) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((((triple11) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))] The tiger needs the mouse.[(((((triple14) -> rule2) ((triple3) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple10) -> rule2)) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple11) -> rule2)) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple14) -> rule2)) -> rule3)) -> rule7) OR ((((triple14) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule7))]
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple3
((triple4) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple6
The mouse does not chase the rabbit.
("mouse" "chases" "rabbit" "-")
triple7
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple13
The tiger is cold.
("tiger" "is" "cold" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
((triple10) -> (rule2 % int1))
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((triple11) -> (rule2 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
((triple3) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int2
((((triple11) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
((((triple14) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple14) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The lion needs the mouse.
("lion" "needs" "mouse" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
((((triple4) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((triple3 ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
((triple3 ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
((triple3 ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((triple3 ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
((((triple4) -> (rule2 % int4)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((triple4) -> (rule2 % int4)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int4
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The lion needs the mouse.
("lion" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((((triple10) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
((((triple10) -> (rule2 % int3)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
((((triple10) -> (rule2 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
((((triple10) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int4
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
((((triple11) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
((((triple11) -> (rule2 % int4)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int4
((((triple11) -> (rule2 % int3)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
((((triple11) -> (rule2 % int4)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int4
((((triple11) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int4
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
((((triple14) -> (rule2 % int3)) ((triple3) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple14) -> (rule2 % int4)) ((((triple10) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((triple14) -> (rule2 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4
((((triple14) -> (rule2 % int3)) ((((triple14) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
((((triple14) -> (rule2 % int4)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
int1
The tiger does not chase the lion.
("tiger" "chases" "lion" "-")
int2
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int3
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int4