The lion is cold. The lion is green. The lion is rough. The lion is round. The lion is young. Young people are green. If someone is round then they are cold. If the lion is cold and the lion is rough then the lion is green. If someone is green and round then they are cold. If someone is young and cold then they are rough. If the lion is green then the lion is cold.
The lion is rough.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule6) OR ((triple4) -> rule2) OR ((triple2 triple4) -> rule4) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple5) -> rule1) triple4) -> rule4))] The lion is green.[(triple2 OR ((triple5) -> rule1) OR ((triple1 triple3) -> rule3) OR ((triple1 ((triple5 triple1) -> rule5)) -> rule3) OR ((((triple4) -> rule2) triple3) -> rule3) OR ((((triple4) -> rule2) ((triple5 triple1) -> rule5)) -> rule3) OR ((triple1 ((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3) OR ((((triple4) -> rule2) ((triple5 ((triple4) -> rule2)) -> rule5)) -> rule3))] The lion is rough.[(triple3 OR ((triple5 triple1) -> rule5) OR ((triple5 ((triple2) -> rule6)) -> rule5) OR ((triple5 ((triple4) -> rule2)) -> rule5) OR ((triple5 ((triple2 triple4) -> rule4)) -> rule5) OR ((triple5 ((((triple5) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((((triple5) -> rule1) triple4) -> rule4)) -> rule5))] The lion is round.[(triple4)] The lion is young.[(triple5)]