The lion is big. The lion is cold. The lion is green. All big, nice things are blue. If the lion is nice then the lion is big. Blue things are green. Blue, green things are cold. All cold, green things are big. If the lion is big then the lion is nice. All big things are blue. Cold, big things are green.
The lion sees the lion.
@0: The lion is big.[(triple1 OR ((triple2 triple3) -> rule5))] The lion is cold.[(triple2 OR ((((triple1) -> rule7) triple3) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule1) triple3) -> rule4) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule3)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule1) ((((triple1) -> rule7)) -> rule3)) -> rule4) OR ((((triple1) -> rule7) ((((triple1 ((triple1) -> rule6)) -> rule1)) -> rule3)) -> rule4) OR ((((triple1 ((triple1) -> rule6)) -> rule1) ((((triple1 ((triple1) -> rule6)) -> rule1)) -> rule3)) -> rule4))] The lion is green.[(triple3 OR ((triple2 triple1) -> rule8) OR ((((triple1) -> rule7)) -> rule3) OR ((((triple1 ((triple1) -> rule6)) -> rule1)) -> rule3))] @1: The lion is blue.[(((triple1) -> rule7) OR ((((triple2 triple3) -> rule5)) -> rule7) OR ((triple1 ((triple1) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule5) ((triple1) -> rule6)) -> rule1) OR ((triple1 ((((triple2 triple3) -> rule5)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule5) ((((triple2 triple3) -> rule5)) -> rule6)) -> rule1))] The lion is nice.[(((triple1) -> rule6) OR ((((triple2 triple3) -> rule5)) -> rule6))]