The lion is big. The lion is blue. The lion is cold. The lion is red. The lion is round. If someone is big then they are blue. All round people are red. All cold people are red. If the lion is not big then the lion is not round. If someone is round and blue then they are cold. If the lion is red and the lion is big then the lion is cold.
The lion does not see the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2 OR ((triple1) -> rule1))] The lion is cold.[(triple3 OR ((triple4 triple1) -> rule6) OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple1) -> rule1)) -> rule5) OR ((((triple5) -> rule2) triple1) -> rule6))] The lion is red.[(triple4 OR ((triple3) -> rule3) OR ((triple5) -> rule2) OR ((((triple5 triple2) -> rule5)) -> rule3) OR ((((triple5 ((triple1) -> rule1)) -> rule5)) -> rule3))] The lion is round.[(triple5)]