The lion is cold. The lion is nice. The lion is red. The lion is rough. The lion is young. If something is young and not rough then it is red. Young, nice things are red. Young things are nice. If something is rough then it is cold. If the lion is rough and the lion is cold then the lion is nice. If the lion is rough and the lion is nice then the lion is red.
The lion sees the lion.
@0: The lion is cold.[(triple1 OR ((triple4) -> rule4))] The lion is nice.[(triple2 OR ((triple5) -> rule3) OR ((triple4 triple1) -> rule5) OR ((triple4 ((triple4) -> rule4)) -> rule5))] The lion is red.[(triple3 OR ((triple4 triple2) -> rule6) OR ((triple5 triple2) -> rule2) OR ((triple4 ((triple5) -> rule3)) -> rule6) OR ((triple4 ((triple4 triple1) -> rule5)) -> rule6) OR ((triple5 ((triple5) -> rule3)) -> rule2) OR ((triple5 ((triple4 triple1) -> rule5)) -> rule2) OR ((triple4 ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule6) OR ((triple5 ((triple4 ((triple4) -> rule4)) -> rule5)) -> rule2))] The lion is rough.[(triple4)] The lion is young.[(triple5)]