The tiger is cold. The tiger is green. The tiger is kind. The tiger is red. The tiger is round. Cold, round things are red. Round, red things are cold. If the tiger is kind then the tiger is green. If something is round then it is cold. All green, cold things are red. All kind things are cold. If something is cold and round then it is green. If something is cold then it is green.
The tiger does not eat the tiger.
@0: The tiger is cold.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule4) OR ((triple5 triple4) -> rule2))] The tiger is green.[(triple2 OR ((triple1) -> rule8) OR ((triple3) -> rule3) OR ((triple1 triple5) -> rule7) OR ((((triple3) -> rule6)) -> rule8) OR ((((triple5) -> rule4)) -> rule8) OR ((((triple5 triple4) -> rule2)) -> rule8) OR ((((triple3) -> rule6) triple5) -> rule7) OR ((((triple5) -> rule4) triple5) -> rule7) OR ((((triple5 triple4) -> rule2) triple5) -> rule7))] The tiger is kind.[(triple3)] The tiger is red.[(triple4 OR ((triple1 triple5) -> rule1) OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple2 ((triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule8) triple1) -> rule5) OR ((((triple3) -> rule3) triple1) -> rule5) OR ((((triple3) -> rule6) triple5) -> rule1) OR ((((triple5) -> rule4) triple5) -> rule1) OR ((((triple1 triple5) -> rule7) triple1) -> rule5) OR ((((triple1) -> rule8) ((triple3) -> rule6)) -> rule5) OR ((((triple1) -> rule8) ((triple5) -> rule4)) -> rule5) OR ((((triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule3) ((triple5) -> rule4)) -> rule5) OR ((((triple1 triple5) -> rule7) ((triple3) -> rule6)) -> rule5) OR ((((triple1 triple5) -> rule7) ((triple5) -> rule4)) -> rule5) OR ((((((triple3) -> rule6)) -> rule8) triple1) -> rule5) OR ((((((triple5) -> rule4)) -> rule8) triple1) -> rule5) OR ((((((triple3) -> rule6) triple5) -> rule7) triple1) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule7) triple1) -> rule5) OR ((((((triple3) -> rule6)) -> rule8) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6)) -> rule8) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule4)) -> rule8) ((triple3) -> rule6)) -> rule5) OR ((((((triple5) -> rule4)) -> rule8) ((triple5) -> rule4)) -> rule5) OR ((((((triple3) -> rule6) triple5) -> rule7) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple5) -> rule7) ((triple5) -> rule4)) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule7) ((triple3) -> rule6)) -> rule5) OR ((((((triple5) -> rule4) triple5) -> rule7) ((triple5) -> rule4)) -> rule5))] The tiger is round.[(triple5)]