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