The lion is blue. The lion is cold. The lion is kind. The lion is rough. The lion is young. If someone is young then they are kind. If someone is rough and cold then they are blue. If the lion is rough then the lion is young. If someone is kind then they are rough. Cold people are young. If the lion is kind and the lion is young then the lion is rough. Rough, young people are kind. If someone is blue then they are young.
The lion chases the lion.
@0: The lion is blue.[(triple1 OR ((triple4 triple2) -> rule2) OR ((((triple3) -> rule4) triple2) -> rule2) OR ((((triple3 triple5) -> rule6) triple2) -> rule2) OR ((((((triple5) -> rule1)) -> rule4) triple2) -> rule2) OR ((((triple3 ((triple2) -> rule5)) -> rule6) triple2) -> rule2) OR ((((((triple5) -> rule1) triple5) -> rule6) triple2) -> rule2) OR ((((((triple5) -> rule1) ((triple2) -> rule5)) -> rule6) triple2) -> rule2) OR ((((((((triple2) -> rule5)) -> rule1)) -> rule4) triple2) -> rule2) OR ((((((((triple2) -> rule5)) -> rule1) triple5) -> rule6) triple2) -> rule2) OR ((((((((triple2) -> rule5)) -> rule1) ((triple2) -> rule5)) -> rule6) triple2) -> rule2))] The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple5) -> rule1) OR ((triple4 triple5) -> rule7) OR ((((triple1) -> rule8)) -> rule1) OR ((((triple2) -> rule5)) -> rule1) OR ((((triple4) -> rule3)) -> rule1) OR ((triple4 ((triple1) -> rule8)) -> rule7) OR ((triple4 ((triple2) -> rule5)) -> rule7) OR ((triple4 ((triple4) -> rule3)) -> rule7) OR ((((((triple4 triple2) -> rule2)) -> rule8)) -> rule1) OR ((triple4 ((((triple4 triple2) -> rule2)) -> rule8)) -> rule7))] The lion is rough.[(triple4 OR ((triple3) -> rule4) OR ((triple3 triple5) -> rule6) OR ((((triple5) -> rule1)) -> rule4) OR ((triple3 ((triple1) -> rule8)) -> rule6) OR ((triple3 ((triple2) -> rule5)) -> rule6) OR ((((triple5) -> rule1) triple5) -> rule6) OR ((((triple5) -> rule1) ((triple1) -> rule8)) -> rule6) OR ((((triple5) -> rule1) ((triple2) -> rule5)) -> rule6) OR ((((((triple1) -> rule8)) -> rule1)) -> rule4) OR ((((((triple2) -> rule5)) -> rule1)) -> rule4) OR ((((((triple1) -> rule8)) -> rule1) triple5) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) triple5) -> rule6) OR ((((((triple1) -> rule8)) -> rule1) ((triple1) -> rule8)) -> rule6) OR ((((((triple1) -> rule8)) -> rule1) ((triple2) -> rule5)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((triple1) -> rule8)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1) ((triple2) -> rule5)) -> rule6))] The lion is young.[(triple5 OR ((triple1) -> rule8) OR ((triple2) -> rule5) OR ((triple4) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple4 triple2) -> rule2)) -> rule8) OR ((((((triple3) -> rule4) triple2) -> rule2)) -> rule8))]