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