The tiger is big. The tiger is blue. The tiger is kind. The tiger is nice. The tiger is round. If something is round and nice then it is big. All blue things are round. If something is blue then it is nice. If the tiger is big then the tiger is nice. If something is nice and blue then it is kind. If something is round and blue then it is kind. If the tiger is blue then the tiger is nice. Kind things are nice.
The tiger chases the tiger.
@0: The tiger is big.[(triple1 OR ((triple5 triple4) -> rule1) OR ((triple5 ((triple2) -> rule3)) -> rule1) OR ((triple5 ((triple2) -> rule7)) -> rule1) OR ((triple5 ((triple3) -> rule8)) -> rule1) OR ((((triple2) -> rule2) triple4) -> rule1) OR ((((triple2) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule2) ((triple2) -> rule7)) -> rule1) OR ((((triple2) -> rule2) ((triple3) -> rule8)) -> rule1) OR ((triple5 ((((triple5 triple2) -> rule6)) -> rule8)) -> rule1) OR ((((triple2) -> rule2) ((((triple5 triple2) -> rule6)) -> rule8)) -> rule1) OR ((triple5 ((((((triple2) -> rule2) triple2) -> rule6)) -> rule8)) -> rule1) OR ((((triple2) -> rule2) ((((((triple2) -> rule2) triple2) -> rule6)) -> rule8)) -> rule1))] The tiger is blue.[(triple2)] The tiger is kind.[(triple3 OR ((triple4 triple2) -> rule5) OR ((triple5 triple2) -> rule6) OR ((((triple1) -> rule4) triple2) -> rule5) OR ((((triple2) -> rule2) triple2) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule5) OR ((((triple2) -> rule7) triple2) -> rule5))] The tiger is nice.[(triple4 OR ((triple1) -> rule4) OR ((triple2) -> rule3) OR ((triple2) -> rule7) OR ((triple3) -> rule8) OR ((((triple5 triple2) -> rule6)) -> rule8) OR ((((((triple2) -> rule2) triple2) -> rule6)) -> rule8))] The tiger is round.[(triple5 OR ((triple2) -> rule2))]