The tiger is blue. The tiger is green. The tiger is kind. The tiger is nice. The tiger is young. All nice, blue things are kind. If the tiger is young then the tiger is green. All kind, young things are nice. All kind things are green. Kind things are young. If something is blue then it is nice.
The tiger does not see the tiger.
@0: The tiger is blue.[(triple1)] The tiger is green.[(triple2 OR ((triple3) -> rule4) OR ((triple5) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple4 triple1) -> rule1)) -> rule4) OR ((((((triple4 triple1) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule6) triple1) -> rule1)) -> rule4) OR ((((((((triple1) -> rule6) triple1) -> rule1)) -> rule5)) -> rule2))] The tiger is kind.[(triple3 OR ((triple4 triple1) -> rule1) OR ((((triple1) -> rule6) triple1) -> rule1))] The tiger is nice.[(triple4 OR ((triple1) -> rule6) OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple3) -> rule5)) -> rule3))] The tiger is young.[(triple5 OR ((triple3) -> rule5) OR ((((triple4 triple1) -> rule1)) -> rule5) OR ((((((triple1) -> rule6) triple1) -> rule1)) -> rule5))]