The lion is blue. The lion is cold. The lion is nice. The lion is red. The lion is young. Blue people are young. Nice people are young. If someone is red and blue then they are young. If someone is red then they are young. Red, nice people are young. If someone is nice then they are blue. Young people are blue. If someone is nice then they are red.
The lion does not see the lion.
@0: The lion is blue.[(triple1 OR ((triple3) -> rule6) OR ((triple5) -> rule7) OR ((((triple3) -> rule2)) -> rule7) OR ((((triple4) -> rule4)) -> rule7) OR ((((triple4 triple3) -> rule5)) -> rule7) OR ((((((triple3) -> rule8)) -> rule4)) -> rule7) OR ((((((triple3) -> rule8) triple3) -> rule5)) -> rule7))] The lion is cold.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4 OR ((triple3) -> rule8))] The lion is young.[(triple5 OR ((triple1) -> rule1) OR ((triple3) -> rule2) OR ((triple4) -> rule4) OR ((triple4 triple1) -> rule3) OR ((triple4 triple3) -> rule5) OR ((((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule8)) -> rule4) OR ((triple4 ((triple3) -> rule6)) -> rule3) OR ((((triple3) -> rule8) triple1) -> rule3) OR ((((triple3) -> rule8) triple3) -> rule5) OR ((((triple3) -> rule8) ((triple3) -> rule6)) -> rule3))]