The lion is cold. The lion is green. The lion is red. The lion is rough. The lion is young. If the lion is red then the lion is young. Cold people are green. If someone is rough and red then they are green. All red people are green. Green, rough people are young. If someone is red then they are rough. If someone is red then they are rough. If someone is green then they are red.
The lion likes the lion.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2 OR ((triple1) -> rule2) OR ((triple3) -> rule4) OR ((triple4 triple3) -> rule3) OR ((((triple3) -> rule6) triple3) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule3))] The lion is red.[(triple3 OR ((triple2) -> rule8) OR ((((triple1) -> rule2)) -> rule8))] The lion is rough.[(triple4 OR ((triple3) -> rule6) OR ((triple3) -> rule7) OR ((((triple2) -> rule8)) -> rule6) OR ((((triple2) -> rule8)) -> rule7) OR ((((((triple1) -> rule2)) -> rule8)) -> rule6) OR ((((((triple1) -> rule2)) -> rule8)) -> rule7))] The lion is young.[(triple5 OR ((triple3) -> rule1) OR ((triple2 triple4) -> rule5) OR ((((triple2) -> rule8)) -> rule1) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple2 ((triple3) -> rule7)) -> rule5) OR ((((triple1) -> rule2) triple4) -> rule5) OR ((((triple3) -> rule4) triple4) -> rule5) OR ((((triple4 triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((triple3) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((triple3) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple1) -> rule2)) -> rule8)) -> rule1) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) triple4) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((triple2 ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple1) -> rule2) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple3) -> rule4) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((((triple1) -> rule2)) -> rule8)) -> rule7)) -> rule5))]