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