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