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