The tiger is cold. The tiger is green. The tiger is nice. The tiger is red. The tiger is young. Cold things are green. All cold, red things are green. If the tiger is nice and the tiger is young then the tiger is red. Green, red things are cold. If something is cold and young then it is red. If the tiger is green then the tiger is young. If something is young then it is nice. All young things are nice.
The tiger is cold.
@0: The tiger is cold.[(triple1 OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple3 triple5) -> rule3)) -> rule4) OR ((triple2 ((triple3 ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((triple5) -> rule7) triple5) -> rule3)) -> rule4) OR ((triple2 ((((triple5) -> rule8) triple5) -> rule3)) -> rule4) OR ((triple2 ((((triple5) -> rule7) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((triple5) -> rule8) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((((triple2) -> rule6)) -> rule7) triple5) -> rule3)) -> rule4) OR ((triple2 ((((((triple2) -> rule6)) -> rule8) triple5) -> rule3)) -> rule4) OR ((triple2 ((((((triple2) -> rule6)) -> rule7) ((triple2) -> rule6)) -> rule3)) -> rule4) OR ((triple2 ((((((triple2) -> rule6)) -> rule8) ((triple2) -> rule6)) -> rule3)) -> rule4))] The tiger is green.[(triple2 OR ((triple1) -> rule1) OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple1 triple5) -> rule5)) -> rule2) OR ((triple1 ((triple3 triple5) -> rule3)) -> rule2) OR ((triple1 ((((triple5) -> rule7) triple5) -> rule3)) -> rule2) OR ((triple1 ((((triple5) -> rule8) triple5) -> rule3)) -> rule2))] The tiger is nice.[(triple3 OR ((triple5) -> rule7) OR ((triple5) -> rule8) OR ((((triple2) -> rule6)) -> rule7) OR ((((triple2) -> rule6)) -> rule8) OR ((((((triple1) -> rule1)) -> rule6)) -> rule7) OR ((((((triple1) -> rule1)) -> rule6)) -> rule8) OR ((((((triple1 triple4) -> rule2)) -> rule6)) -> rule7) OR ((((((triple1 triple4) -> rule2)) -> rule6)) -> rule8))] The tiger is red.[(triple4 OR ((triple1 triple5) -> rule5) OR ((triple3 triple5) -> rule3) OR ((triple1 ((triple2) -> rule6)) -> rule5) OR ((triple3 ((triple2) -> rule6)) -> rule3) OR ((((triple5) -> rule7) triple5) -> rule3) OR ((((triple5) -> rule8) triple5) -> rule3) OR ((((triple5) -> rule7) ((triple2) -> rule6)) -> rule3) OR ((((triple5) -> rule8) ((triple2) -> rule6)) -> rule3) OR ((triple1 ((((triple1) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule7) triple5) -> rule3) OR ((((((triple2) -> rule6)) -> rule8) triple5) -> rule3) OR ((((triple5) -> rule7) ((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple5) -> rule8) ((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule7) ((triple2) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule8) ((triple2) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule7) ((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((triple2) -> rule6)) -> rule8) ((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule7) triple5) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule8) triple5) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule7) ((triple2) -> rule6)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule8) ((triple2) -> rule6)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule7) ((((triple1) -> rule1)) -> rule6)) -> rule3) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule8) ((((triple1) -> rule1)) -> rule6)) -> rule3))] The tiger is young.[(triple5 OR ((triple2) -> rule6) OR ((((triple1) -> rule1)) -> rule6) OR ((((triple1 triple4) -> rule2)) -> rule6))]