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