The rabbit chases the tiger. The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit needs the tiger. The rabbit sees the tiger. The tiger chases the rabbit. The tiger is green. The tiger is kind. The tiger is nice. The tiger is young. The tiger needs the rabbit. The tiger sees the rabbit. If someone is kind then they see the rabbit. If someone sees the rabbit and they are nice then they chase the rabbit. If someone chases the tiger then the tiger sees the rabbit. If the rabbit chases the tiger then the tiger sees the rabbit. If someone sees the rabbit then the rabbit chases the tiger. If someone sees the rabbit then they are young. If the rabbit is green then the rabbit chases the tiger. If someone chases the rabbit and the rabbit is kind then they need the rabbit.
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If someone is kind then they see the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone sees the rabbit and they are nice then they chase the rabbit.
((("someone" "sees" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the tiger then the tiger sees the rabbit.
((("someone" "chases" "tiger" "+")) -> ("tiger" "sees" "rabbit" "+"))
If the rabbit chases the tiger then the tiger sees the rabbit.
((("rabbit" "chases" "tiger" "+")) -> ("tiger" "sees" "rabbit" "+"))
If someone sees the rabbit then the rabbit chases the tiger.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "chases" "tiger" "+"))
If someone sees the rabbit then they are young.
((("someone" "sees" "rabbit" "+")) -> ("someone" "is" "young" "+"))
If the rabbit is green then the rabbit chases the tiger.
((("rabbit" "is" "green" "+")) -> ("rabbit" "chases" "tiger" "+"))
If someone chases the rabbit and the rabbit is kind then they need the rabbit.
((("someone" "chases" "rabbit" "+") ("rabbit" "is" "kind" "+")) -> ("someone" "needs" "rabbit" "+"))
The tiger needs the rabbit.
True
1
proof
[(triple14 OR ((triple9 triple4) -> rule8) OR ((((triple15 triple12) -> rule2) triple4) -> rule8) OR ((((((triple1) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((triple1) -> rule4) triple12) -> rule2) triple4) -> rule8) OR ((((((triple11) -> rule1) triple12) -> rule2) triple4) -> rule8) OR ((((((((triple3) -> rule7)) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((((triple3) -> rule7)) -> rule4) triple12) -> rule2) triple4) -> rule8) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple12) -> rule2) triple4) -> rule8))]
("tiger" "needs" "rabbit" "+")
triple14
((triple9 triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
((((triple15 triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
((((((triple1) -> (rule3 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
((((((triple1) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
((((((triple11) -> (rule1 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int5
The rabbit does not see the tiger.
False
1
inv-proof
[(triple8)]
("rabbit" "sees" "tiger" "-")
triple8
The rabbit sees the rabbit.
True
2
proof
[(((triple4) -> rule1))]
("rabbit" "sees" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit does not see the rabbit.
False
2
inv-proof
[(((triple4) -> rule1))]
("rabbit" "sees" "rabbit" "-")
((triple4) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit chases the rabbit.
True
4
proof
[(((((triple4) -> rule1) triple5) -> rule2))]
("rabbit" "chases" "rabbit" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit does not chase the rabbit.
False
4
inv-proof
[(((((triple4) -> rule1) triple5) -> rule2))]
("rabbit" "chases" "rabbit" "-")
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit needs the rabbit.
True
6
proof
[(((((((triple4) -> rule1) triple5) -> rule2) triple4) -> rule8))]
("rabbit" "needs" "rabbit" "+")
((((((triple4) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
The rabbit does not need the rabbit.
False
6
inv-proof
[(((((((triple4) -> rule1) triple5) -> rule2) triple4) -> rule8))]
("rabbit" "needs" "rabbit" "-")
((((((triple4) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The rabbit chases the tiger.[(triple1 OR ((triple15) -> rule5) OR ((triple3) -> rule7) OR ((((triple11) -> rule1)) -> rule5) OR ((((triple4) -> rule1)) -> rule5))] The rabbit is blue.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is young.[(triple6 OR ((((triple4) -> rule1)) -> rule6))] The rabbit needs the tiger.[(triple7)] The rabbit sees the tiger.[(triple8)] The tiger chases the rabbit.[(triple9 OR ((triple15 triple12) -> rule2) OR ((((triple1) -> rule3) triple12) -> rule2) OR ((((triple1) -> rule4) triple12) -> rule2) OR ((((triple11) -> rule1) triple12) -> rule2) OR ((((((triple3) -> rule7)) -> rule3) triple12) -> rule2) OR ((((((triple3) -> rule7)) -> rule4) triple12) -> rule2) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule3) triple12) -> rule2) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple12) -> rule2))] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is young.[(triple13 OR ((triple15) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4)) -> rule6) OR ((((triple11) -> rule1)) -> rule6) OR ((((((triple3) -> rule7)) -> rule3)) -> rule6) OR ((((((triple3) -> rule7)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple4) -> rule1)) -> rule5)) -> rule4)) -> rule6))] The tiger needs the rabbit.[(triple14 OR ((triple9 triple4) -> rule8) OR ((((triple15 triple12) -> rule2) triple4) -> rule8) OR ((((((triple1) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((triple1) -> rule4) triple12) -> rule2) triple4) -> rule8) OR ((((((triple11) -> rule1) triple12) -> rule2) triple4) -> rule8) OR ((((((((triple3) -> rule7)) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((((triple3) -> rule7)) -> rule4) triple12) -> rule2) triple4) -> rule8) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule3) triple12) -> rule2) triple4) -> rule8) OR ((((((((((triple4) -> rule1)) -> rule5)) -> rule4) triple12) -> rule2) triple4) -> rule8))] The tiger sees the rabbit.[(triple15 OR ((triple1) -> rule3) OR ((triple1) -> rule4) OR ((triple11) -> rule1) OR ((((triple3) -> rule7)) -> rule3) OR ((((triple3) -> rule7)) -> rule4) OR ((((((triple4) -> rule1)) -> rule5)) -> rule3) OR ((((((triple4) -> rule1)) -> rule5)) -> rule4))] @1: The rabbit sees the rabbit.[(((triple4) -> rule1))] @2: The rabbit chases the rabbit.[(((((triple4) -> rule1) triple5) -> rule2))] @3: The rabbit needs the rabbit.[(((((((triple4) -> rule1) triple5) -> rule2) triple4) -> rule8))]
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple1
((triple15) -> (rule5 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
((triple3) -> (rule7 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
((((triple11) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((triple4) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
((((triple4) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple7
The rabbit sees the tiger.
("rabbit" "sees" "tiger" "+")
triple8
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple9
((triple15 triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
((((triple1) -> (rule3 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((triple1) -> (rule4 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((triple11) -> (rule1 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple12) -> (rule2 % int1))
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int4
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is young.
("tiger" "is" "young" "+")
triple13
((triple15) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((triple11) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
((((((triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int4
((((((((triple4) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int2
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int3
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int4
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple14
((triple9 triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
((((triple15 triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
((((((triple1) -> (rule3 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
((((((triple1) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
((((((triple11) -> (rule1 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
((((((((triple3) -> (rule7 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int5
((((((((((triple4) -> (rule1 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
int1
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
int2
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int4
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int5
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple15
((triple1) -> (rule3 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
((triple1) -> (rule4 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
((triple11) -> (rule1 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
((((triple3) -> (rule7 % int2))) -> (rule3 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
((((triple3) -> (rule7 % int2))) -> (rule4 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
((((((triple4) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
int1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple4) -> (rule1 % int2)) triple5) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((((((triple4) -> (rule1 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule8 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3