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