The tiger is cold. The tiger is green. The tiger is red. The tiger is round. The tiger is young. If someone is red and cold then they are young. Cold people are green. If the tiger is cold and the tiger is young then the tiger is round. All cold people are red. Round, young people are cold. Red, green people are cold.
The tiger is cold.
@0: The tiger is cold.[(triple1 OR ((triple3 triple2) -> rule6) OR ((triple4 triple5) -> rule5))] The tiger is green.[(triple2 OR ((triple1) -> rule2) OR ((((triple4 triple5) -> rule5)) -> rule2))] The tiger is red.[(triple3 OR ((triple1) -> rule4) OR ((((triple4 triple5) -> rule5)) -> rule4))] The tiger is round.[(triple4 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple3 triple1) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule6) triple5) -> rule3) OR ((((triple3 triple2) -> rule6) ((triple3 triple1) -> rule1)) -> rule3) OR ((triple1 ((triple3 ((triple3 triple2) -> rule6)) -> rule1)) -> rule3) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3) OR ((triple1 ((((triple1) -> rule4) ((triple3 triple2) -> rule6)) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule6) ((triple3 ((triple3 triple2) -> rule6)) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule6) ((((triple1) -> rule4) triple1) -> rule1)) -> rule3) OR ((((triple3 triple2) -> rule6) ((((triple1) -> rule4) ((triple3 triple2) -> rule6)) -> rule1)) -> rule3))] The tiger is young.[(triple5 OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule1) OR ((((triple1) -> rule4) triple1) -> rule1) OR ((((triple1) -> rule4) ((triple3 triple2) -> rule6)) -> rule1))]