The lion is green. The lion is kind. The lion is red. The lion is rough. The lion is young. If someone is green and red then they are rough. If the lion is kind and the lion is red then the lion is young. If the lion is kind and the lion is red then the lion is green.
The lion is kind.
@0: The lion is green.[(triple1 OR ((triple2 triple3) -> rule3))] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple1 triple3) -> rule1) OR ((((triple2 triple3) -> rule3) triple3) -> rule1))] The lion is young.[(triple5 OR ((triple2 triple3) -> rule2))]