The tiger is big. The tiger is nice. The tiger is red. The tiger is rough. The tiger is young. Big people are young. If the tiger is young and the tiger is red then the tiger is nice. If the tiger is young and the tiger is red then the tiger is nice. Nice people are big. Big, nice people are rough. All nice, young people are rough. If the tiger is big then the tiger is red. All big people are nice.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
Big people are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If the tiger is young and the tiger is red then the tiger is nice.
((("tiger" "is" "young" "+") ("tiger" "is" "red" "+")) -> ("tiger" "is" "nice" "+"))
If the tiger is young and the tiger is red then the tiger is nice.
((("tiger" "is" "young" "+") ("tiger" "is" "red" "+")) -> ("tiger" "is" "nice" "+"))
Nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Big, nice people are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All nice, young people are rough.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If the tiger is big then the tiger is red.
((("tiger" "is" "big" "+")) -> ("tiger" "is" "red" "+"))
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
The tiger is rough.
True
1
proof
[(triple4 OR ((triple1 triple2) -> rule5) OR ((triple2 triple5) -> rule6) OR ((triple1 ((triple1) -> rule8)) -> rule5) OR ((triple1 ((triple5 triple3) -> rule2)) -> rule5) OR ((triple1 ((triple5 triple3) -> rule3)) -> rule5) OR ((triple2 ((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule8) triple5) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule5) OR ((((triple5 triple3) -> rule2) triple5) -> rule6) OR ((((triple5 triple3) -> rule3) triple5) -> rule6) OR ((((triple1) -> rule8) ((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((triple5 triple3) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((triple1 ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((triple1 ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((triple1 ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5 triple3) -> rule2)) -> rule4) triple2) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) triple2) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule2) triple5) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule3) triple5) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2) triple5) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) triple5) -> rule6) OR ((triple1 ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((triple1) -> rule8) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((triple2) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 triple3) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 triple3) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 triple3) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) triple5) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3) triple5) -> rule6) OR ((((triple2) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6))]
("tiger" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple2 triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple1 ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple1 ((triple5 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple1 ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple2 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((((triple1) -> (rule8 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
((((triple5 triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((triple5 triple3) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple5 triple3) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((triple1 ((triple5 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((triple5 ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple5 ((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((((triple5 ((triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((triple1 ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((triple1) -> (rule8 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple5 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple5 ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule8 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule8 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple5 triple3) -> (rule2 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple5 triple3) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple5 ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
((((triple5 ((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
((((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((triple2) -> (rule4 % int5)) ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple5 ((triple1) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5
((((triple5 ((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5
((((((triple1) -> (rule1 % int4)) triple3) -> (rule2 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2)) ((triple1) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2)) ((triple1) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple5 triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple1) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
((((((triple1) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
The tiger is not big.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule4) OR ((((triple5 triple3) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule4))]
("tiger" "is" "big" "-")
triple1
((triple2) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
((((triple5 triple3) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule3 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The tiger is big.[(triple1 OR ((triple2) -> rule4) OR ((((triple5 triple3) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule4))] The tiger is nice.[(triple2 OR ((triple1) -> rule8) OR ((triple5 triple3) -> rule2) OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple1) -> rule7)) -> rule2) OR ((triple5 ((triple1) -> rule7)) -> rule3) OR ((((triple1) -> rule1) triple3) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule3) OR ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) OR ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3))] The tiger is red.[(triple3 OR ((triple1) -> rule7) OR ((((triple2) -> rule4)) -> rule7))] The tiger is rough.[(triple4 OR ((triple1 triple2) -> rule5) OR ((triple2 triple5) -> rule6) OR ((triple1 ((triple1) -> rule8)) -> rule5) OR ((triple1 ((triple5 triple3) -> rule2)) -> rule5) OR ((triple1 ((triple5 triple3) -> rule3)) -> rule5) OR ((triple2 ((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule8) triple5) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule5) OR ((((triple5 triple3) -> rule2) triple5) -> rule6) OR ((((triple5 triple3) -> rule3) triple5) -> rule6) OR ((((triple1) -> rule8) ((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((triple5 triple3) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((triple5 triple3) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((triple1 ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((triple1 ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((triple1 ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple5 triple3) -> rule2)) -> rule4) triple2) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) triple2) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule2) triple5) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule3) triple5) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2) triple5) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) triple5) -> rule6) OR ((triple1 ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((triple1) -> rule8) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple2) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((triple2) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 triple3) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple1) -> rule8)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 triple3) -> rule3)) -> rule5) OR ((((triple5 triple3) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 triple3) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) triple5) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3) triple5) -> rule6) OR ((((triple2) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((triple2) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((triple5 ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) triple3) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) triple3) -> rule3)) -> rule5) OR ((((triple5 ((triple1) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((triple5 ((triple1) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3) ((triple1) -> rule1)) -> rule6) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2)) -> rule5) OR ((((((triple5 triple3) -> rule3)) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3)) -> rule5) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule2) ((((triple2) -> rule4)) -> rule1)) -> rule6) OR ((((((triple1) -> rule1) ((triple1) -> rule7)) -> rule3) ((((triple2) -> rule4)) -> rule1)) -> rule6))] The tiger is young.[(triple5 OR ((triple1) -> rule1) OR ((((triple2) -> rule4)) -> rule1))]
The tiger is big.
("tiger" "is" "big" "+")
triple1
((triple2) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
((((triple5 triple3) -> (rule2 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule3 % int2))) -> (rule4 % int1))
The tiger is big.
("tiger" "is" "big" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
triple2
((triple1) -> (rule8 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((triple5 triple3) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((triple5 triple3) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((triple5 ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
((triple5 ((triple1) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
((((triple1) -> (rule1 % int2)) triple3) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
triple3
((triple1) -> (rule7 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
((triple1 triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple2 triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
((triple1 ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple1 ((triple5 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple1 ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((triple2 ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
((((triple1) -> (rule8 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
((((triple5 triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
((((triple1) -> (rule8 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((triple2) -> (rule4 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((triple5 triple3) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple5 triple3) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((triple1 ((triple5 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((triple5 ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((triple1 ((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((triple2 ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) triple2) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple5 ((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((((triple5 ((triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((triple1 ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((triple1) -> (rule8 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple5 ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple2) -> (rule4 % int4)) ((triple5 ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((triple2) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule8 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1) -> (rule8 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule2 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((((triple5 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple3) -> (rule3 % int3))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
((((triple5 triple3) -> (rule2 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple5 triple3) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple5 ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
((((triple5 ((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
((((((triple1) -> (rule1 % int3)) triple3) -> (rule2 % int2)) ((triple1) -> (rule1 % int3))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int3)) triple3) -> (rule3 % int2)) ((triple1) -> (rule1 % int3))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((triple2) -> (rule4 % int5)) ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
((((triple2) -> (rule4 % int5)) ((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
The tiger is big.
("tiger" "is" "big" "+")
int5
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple5 ((triple1) -> (rule7 % int2))) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule2 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((((triple5 triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple1) -> (rule1 % int2)) triple3) -> (rule3 % int4))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
((((triple5 ((triple1) -> (rule7 % int5))) -> (rule2 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5
((((triple5 ((triple1) -> (rule7 % int5))) -> (rule3 % int4)) ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
int3
The tiger is nice.
("tiger" "is" "nice" "+")
int4
The tiger is red.
("tiger" "is" "red" "+")
int5
((((((triple1) -> (rule1 % int4)) triple3) -> (rule2 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule2 % int2)) ((triple1) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple1) -> (rule7 % int3))) -> (rule3 % int2)) ((triple1) -> (rule1 % int4))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is red.
("tiger" "is" "red" "+")
int3
The tiger is young.
("tiger" "is" "young" "+")
int4
((((((triple5 triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule2 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule2 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple5 triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule1 % int3)) ((triple1) -> (rule7 % int2))) -> (rule3 % int5))) -> (rule5 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
int3
The tiger is big.
("tiger" "is" "big" "+")
int4
The tiger is nice.
("tiger" "is" "nice" "+")
int5
((((((triple1) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule2 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
((((((triple1) -> (rule1 % int5)) ((triple1) -> (rule7 % int4))) -> (rule3 % int3)) ((((triple2) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger is red.
("tiger" "is" "red" "+")
int4
The tiger is young.
("tiger" "is" "young" "+")
int5
The tiger is young.
("tiger" "is" "young" "+")
triple5
((triple1) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is big.
("tiger" "is" "big" "+")
int2