The tiger is green. The tiger is nice. The tiger is red. The tiger is rough. The tiger is round. All round things are rough. If the tiger is round then the tiger is nice. If something is nice and red then it is green. If the tiger is nice and the tiger is rough then the tiger is red. Red things are nice. Red, green things are rough.
The tiger is not rough.
@0: The tiger is green.[(triple1 OR ((triple2 triple3) -> rule3) OR ((triple2 ((triple2 triple4) -> rule4)) -> rule3) OR ((((triple3) -> rule5) triple3) -> rule3) OR ((((triple5) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule5) ((triple2 triple4) -> rule4)) -> rule3) OR ((((triple5) -> rule2) ((triple2 triple4) -> rule4)) -> rule3) OR ((triple2 ((triple2 ((triple5) -> rule1)) -> rule4)) -> rule3) OR ((triple2 ((((triple5) -> rule2) triple4) -> rule4)) -> rule3) OR ((triple2 ((((triple5) -> rule2) ((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((triple3) -> rule5) ((triple2 ((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((triple3) -> rule5) ((((triple5) -> rule2) triple4) -> rule4)) -> rule3) OR ((((triple5) -> rule2) ((triple2 ((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((triple5) -> rule2) ((((triple5) -> rule2) triple4) -> rule4)) -> rule3) OR ((((triple3) -> rule5) ((((triple5) -> rule2) ((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((triple5) -> rule2) ((((triple5) -> rule2) ((triple5) -> rule1)) -> rule4)) -> rule3))] The tiger is nice.[(triple2 OR ((triple3) -> rule5) OR ((triple5) -> rule2))] The tiger is red.[(triple3 OR ((triple2 triple4) -> rule4) OR ((triple2 ((triple5) -> rule1)) -> rule4) OR ((((triple5) -> rule2) triple4) -> rule4) OR ((((triple5) -> rule2) ((triple5) -> rule1)) -> rule4))] The tiger is rough.[(triple4 OR ((triple5) -> rule1) OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple2 triple3) -> rule3)) -> rule6) OR ((triple3 ((((triple3) -> rule5) triple3) -> rule3)) -> rule6) OR ((triple3 ((((triple5) -> rule2) triple3) -> rule3)) -> rule6))] The tiger is round.[(triple5)]