The tiger is blue. The tiger is green. The tiger is kind. The tiger is rough. The tiger is young. Green, kind people are blue. If someone is young and green then they are rough. All young people are green. Blue, young people are rough. Young, blue people are green. Blue, green people are rough.
The tiger does not chase the tiger.
@0: The tiger is blue.[(triple1 OR ((triple2 triple3) -> rule1) OR ((((triple5) -> rule3) triple3) -> rule1))] The tiger is green.[(triple2 OR ((triple5) -> rule3) OR ((triple5 triple1) -> rule5))] The tiger is kind.[(triple3)] The tiger is rough.[(triple4 OR ((triple1 triple2) -> rule6) OR ((triple1 triple5) -> rule4) OR ((triple5 triple2) -> rule2) OR ((triple1 ((triple5) -> rule3)) -> rule6) OR ((triple1 ((triple5 triple1) -> rule5)) -> rule6) OR ((triple5 ((triple5) -> rule3)) -> rule2) OR ((triple5 ((triple5 triple1) -> rule5)) -> rule2) OR ((((triple2 triple3) -> rule1) triple2) -> rule6) OR ((((triple2 triple3) -> rule1) triple5) -> rule4) OR ((((triple2 triple3) -> rule1) ((triple5) -> rule3)) -> rule6) OR ((((triple2 triple3) -> rule1) ((triple5 triple1) -> rule5)) -> rule6) OR ((((((triple5) -> rule3) triple3) -> rule1) triple2) -> rule6) OR ((((((triple5) -> rule3) triple3) -> rule1) triple5) -> rule4) OR ((((((triple5) -> rule3) triple3) -> rule1) ((triple5) -> rule3)) -> rule6) OR ((((((triple5) -> rule3) triple3) -> rule1) ((triple5 triple1) -> rule5)) -> rule6))] The tiger is young.[(triple5)]