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 visits the 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))]