The tiger is red. The tiger is rough. The tiger is young. If something is big and red then it is green. If something is young then it is big. All rough, red things are green. Young things are rough. If something is red then it is big. If something is red and rough then it is big. All young things are red. If the tiger is red and the tiger is green then the tiger is big.
The tiger is not red.
@0: The tiger is red.[(triple1 OR ((triple3) -> rule7))] The tiger is rough.[(triple2 OR ((triple3) -> rule4))] The tiger is young.[(triple3)] @1: The tiger is big.[(((triple1) -> rule5) OR ((triple3) -> rule2) OR ((triple1 triple2) -> rule6) OR ((((triple3) -> rule7)) -> rule5) OR ((triple1 ((triple3) -> rule4)) -> rule6) OR ((triple1 ((triple2 triple1) -> rule3)) -> rule8) OR ((((triple3) -> rule7) triple2) -> rule6) OR ((((triple3) -> rule7) ((triple3) -> rule4)) -> rule6) OR ((((triple3) -> rule7) ((triple2 triple1) -> rule3)) -> rule8) OR ((triple1 ((triple2 ((triple3) -> rule7)) -> rule3)) -> rule8) OR ((triple1 ((((triple3) -> rule4) triple1) -> rule3)) -> rule8) OR ((triple1 ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule3)) -> rule8) OR ((((triple3) -> rule7) ((triple2 ((triple3) -> rule7)) -> rule3)) -> rule8) OR ((((triple3) -> rule7) ((((triple3) -> rule4) triple1) -> rule3)) -> rule8) OR ((((triple3) -> rule7) ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule3)) -> rule8))] The tiger is green.[(((triple2 triple1) -> rule3) OR ((triple2 ((triple3) -> rule7)) -> rule3) OR ((((triple1) -> rule5) triple1) -> rule1) OR ((((triple3) -> rule2) triple1) -> rule1) OR ((((triple3) -> rule4) triple1) -> rule3) OR ((((triple1 triple2) -> rule6) triple1) -> rule1) OR ((((triple1) -> rule5) ((triple3) -> rule7)) -> rule1) OR ((((triple3) -> rule2) ((triple3) -> rule7)) -> rule1) OR ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule3) OR ((((triple1 triple2) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule7)) -> rule5) triple1) -> rule1) OR ((((triple1 ((triple3) -> rule4)) -> rule6) triple1) -> rule1) OR ((((((triple3) -> rule7) triple2) -> rule6) triple1) -> rule1) OR ((((((triple3) -> rule7)) -> rule5) ((triple3) -> rule7)) -> rule1) OR ((((triple1 ((triple3) -> rule4)) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule7) triple2) -> rule6) ((triple3) -> rule7)) -> rule1) OR ((((((triple3) -> rule7) ((triple3) -> rule4)) -> rule6) triple1) -> rule1) OR ((((((triple3) -> rule7) ((triple3) -> rule4)) -> rule6) ((triple3) -> rule7)) -> rule1))]