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