The tiger is green. The tiger is nice. The tiger is rough. The tiger is round. The tiger is young. All nice, round things are rough. Round things are young. All young, rough things are green. Rough things are young. All round, rough things are young. All rough, green things are round. If the tiger is rough and the tiger is young then the tiger is round. If the tiger is young then the tiger is rough.
The tiger is rough.
@0: The tiger is green.[(triple1 OR ((triple5 triple3) -> rule3) OR ((triple5 ((triple5) -> rule8)) -> rule3) OR ((triple5 ((triple2 triple4) -> rule1)) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule3) OR ((((triple4) -> rule2) triple3) -> rule3) OR ((((triple4 triple3) -> rule5) triple3) -> rule3) OR ((((triple3) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((triple3) -> rule4) ((triple2 triple4) -> rule1)) -> rule3) OR ((((triple4) -> rule2) ((triple5) -> rule8)) -> rule3) OR ((((triple4) -> rule2) ((triple2 triple4) -> rule1)) -> rule3) OR ((((triple4 triple3) -> rule5) ((triple5) -> rule8)) -> rule3) OR ((((triple4 triple3) -> rule5) ((triple2 triple4) -> rule1)) -> rule3) OR ((triple5 ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple2 triple4) -> rule1)) -> rule4) triple3) -> rule3) OR ((((triple4 ((triple2 triple4) -> rule1)) -> rule5) triple3) -> rule3) OR ((((triple3) -> rule4) ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((((triple2 triple4) -> rule1)) -> rule4) ((triple5) -> rule8)) -> rule3) OR ((((((triple2 triple4) -> rule1)) -> rule4) ((triple2 triple4) -> rule1)) -> rule3) OR ((((triple4 triple3) -> rule5) ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple4 ((triple2 triple4) -> rule1)) -> rule5) ((triple5) -> rule8)) -> rule3) OR ((((triple4 ((triple2 triple4) -> rule1)) -> rule5) ((triple2 triple4) -> rule1)) -> rule3) OR ((((((triple2 triple4) -> rule1)) -> rule4) ((((triple4) -> rule2)) -> rule8)) -> rule3) OR ((((triple4 ((triple2 triple4) -> rule1)) -> rule5) ((((triple4) -> rule2)) -> rule8)) -> rule3))] The tiger is nice.[(triple2)] The tiger is rough.[(triple3 OR ((triple5) -> rule8) OR ((triple2 triple4) -> rule1) OR ((((triple4) -> rule2)) -> rule8))] The tiger is round.[(triple4 OR ((triple3 triple1) -> rule6) OR ((triple3 triple5) -> rule7) OR ((triple3 ((triple3) -> rule4)) -> rule7) OR ((triple3 ((triple5 triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule8) triple1) -> rule6) OR ((((triple5) -> rule8) triple5) -> rule7) OR ((((triple5) -> rule8) ((triple3) -> rule4)) -> rule7) OR ((((triple5) -> rule8) ((triple5 triple3) -> rule3)) -> rule6) OR ((triple3 ((triple5 ((triple5) -> rule8)) -> rule3)) -> rule6) OR ((triple3 ((((triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((triple3 ((((triple3) -> rule4) ((triple5) -> rule8)) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((triple5 ((triple5) -> rule8)) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((((triple3) -> rule4) triple3) -> rule3)) -> rule6) OR ((((triple5) -> rule8) ((((triple3) -> rule4) ((triple5) -> rule8)) -> rule3)) -> rule6))] The tiger is young.[(triple5 OR ((triple3) -> rule4) OR ((triple4) -> rule2) OR ((triple4 triple3) -> rule5) OR ((((triple2 triple4) -> rule1)) -> rule4) OR ((((triple3 triple1) -> rule6)) -> rule2) OR ((triple4 ((triple2 triple4) -> rule1)) -> rule5) OR ((((triple3 triple1) -> rule6) triple3) -> rule5) OR ((((triple3 triple1) -> rule6) ((triple2 triple4) -> rule1)) -> rule5))]