The lion is big. The lion is cold. The lion is green. The lion is nice. The lion is red. Big things are cold. Cold, green things are red. Cold things are red. All nice, big things are red. If something is nice then it is red. Red things are nice. If something is green then it is nice. All cold things are green.
The lion chases the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple1) -> rule1))] The lion is green.[(triple3 OR ((triple2) -> rule8) OR ((((triple1) -> rule1)) -> rule8))] The lion is nice.[(triple4 OR ((triple3) -> rule7) OR ((triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple2) -> rule8)) -> rule7) OR ((((triple2 triple3) -> rule2)) -> rule6) OR ((((((triple1) -> rule1)) -> rule3)) -> rule6) OR ((((((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((triple2 ((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) triple3) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) ((triple2) -> rule8)) -> rule2)) -> rule6) OR ((((triple2 ((((triple1) -> rule1)) -> rule8)) -> rule2)) -> rule6) OR ((((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule2)) -> rule6))] The lion is red.[(triple5 OR ((triple2) -> rule3) OR ((triple4) -> rule5) OR ((triple2 triple3) -> rule2) OR ((triple4 triple1) -> rule4) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple3) -> rule7)) -> rule5) OR ((triple2 ((triple2) -> rule8)) -> rule2) OR ((((triple1) -> rule1) triple3) -> rule2) OR ((((triple3) -> rule7) triple1) -> rule4) OR ((((triple1) -> rule1) ((triple2) -> rule8)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7)) -> rule5) OR ((triple2 ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((triple2) -> rule8)) -> rule7) triple1) -> rule4) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule7)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule8)) -> rule7) triple1) -> rule4))]