The tiger is big. The tiger is cold. The tiger is nice. The tiger is round. The tiger is young. Young, cold people are nice. Nice people are young. If the tiger is young then the tiger is cold. If someone is nice and big then they are round. If the tiger is cold and the tiger is round then the tiger is big. If the tiger is cold and the tiger is round then the tiger is nice. If the tiger is nice and the tiger is big then the tiger is round. All young people are big.
The tiger needs the tiger.
@0: The tiger is big.[(triple1 OR ((triple5) -> rule8) OR ((triple2 triple4) -> rule5) OR ((((triple3) -> rule2)) -> rule8) OR ((((triple5) -> rule3) triple4) -> rule5) OR ((((((triple2 triple4) -> rule6)) -> rule2)) -> rule8) OR ((((((triple3) -> rule2)) -> rule3) triple4) -> rule5))] The tiger is cold.[(triple2 OR ((triple5) -> rule3) OR ((((triple3) -> rule2)) -> rule3))] The tiger is nice.[(triple3 OR ((triple2 triple4) -> rule6) OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple5) -> rule3)) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule6))] The tiger is round.[(triple4 OR ((triple3 triple1) -> rule4) OR ((triple3 triple1) -> rule7) OR ((triple3 ((triple5) -> rule8)) -> rule4) OR ((triple3 ((triple5) -> rule8)) -> rule7) OR ((((triple5 triple2) -> rule1) triple1) -> rule4) OR ((((triple5 triple2) -> rule1) triple1) -> rule7) OR ((((triple5 triple2) -> rule1) ((triple5) -> rule8)) -> rule4) OR ((((triple5 triple2) -> rule1) ((triple5) -> rule8)) -> rule7) OR ((triple3 ((((triple3) -> rule2)) -> rule8)) -> rule4) OR ((triple3 ((((triple3) -> rule2)) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule3)) -> rule1) triple1) -> rule4) OR ((((triple5 ((triple5) -> rule3)) -> rule1) triple1) -> rule7) OR ((((triple5 triple2) -> rule1) ((((triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple5 triple2) -> rule1) ((((triple3) -> rule2)) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule3)) -> rule1) ((triple5) -> rule8)) -> rule4) OR ((((triple5 ((triple5) -> rule3)) -> rule1) ((triple5) -> rule8)) -> rule7) OR ((((triple5 ((triple5) -> rule3)) -> rule1) ((((triple3) -> rule2)) -> rule8)) -> rule4) OR ((((triple5 ((triple5) -> rule3)) -> rule1) ((((triple3) -> rule2)) -> rule8)) -> rule7))] The tiger is young.[(triple5 OR ((triple3) -> rule2) OR ((((triple2 triple4) -> rule6)) -> rule2))]