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