The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger is round. If the tiger is round and the tiger is kind then the tiger is big. If the tiger is red and the tiger is big then the tiger is round. All round, kind people are nice. Nice, round people are kind. If someone is kind and nice then they are red. If the tiger is nice then the tiger is kind. All nice people are kind. All round people are red.
The tiger does not need the tiger.
@0: The tiger is big.[(triple1 OR ((triple5 triple2) -> rule1) OR ((triple5 ((triple3) -> rule6)) -> rule1) OR ((triple5 ((triple3) -> rule7)) -> rule1) OR ((triple5 ((triple3 triple5) -> rule4)) -> rule1))] The tiger is kind.[(triple2 OR ((triple3) -> rule6) OR ((triple3) -> rule7) OR ((triple3 triple5) -> rule4) OR ((triple3 ((triple4 triple1) -> rule2)) -> rule4))] The tiger is nice.[(triple3 OR ((triple5 triple2) -> rule3) OR ((((triple4 triple1) -> rule2) triple2) -> rule3))] The tiger is red.[(triple4 OR ((triple5) -> rule8) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple5 triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule6) triple3) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule5) OR ((((triple3 triple5) -> rule4) triple3) -> rule5) OR ((((triple3) -> rule6) ((triple5 triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule7) ((triple5 triple2) -> rule3)) -> rule5) OR ((((triple3 triple5) -> rule4) ((triple5 triple2) -> rule3)) -> rule5))] The tiger is round.[(triple5 OR ((triple4 triple1) -> rule2) OR ((((triple2 triple3) -> rule5) triple1) -> rule2) OR ((((((triple3) -> rule6) triple3) -> rule5) triple1) -> rule2) OR ((((((triple3) -> rule7) triple3) -> rule5) triple1) -> rule2))]