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