The lion is blue. The lion is kind. The lion is nice. The lion is round. The lion is young. All young, blue people are nice. Round people are kind. All nice, kind people are young. Young people are kind. If someone is nice then they are blue. If the lion is round then the lion is young.
The lion is not kind.
@0: The lion is blue.[(triple1 OR ((triple3) -> rule5))] The lion is kind.[(triple2 OR ((triple4) -> rule2) OR ((triple5) -> rule4) OR ((((triple4) -> rule6)) -> rule4))] The lion is nice.[(triple3 OR ((triple5 triple1) -> rule1) OR ((((triple4) -> rule6) triple1) -> rule1))] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple4) -> rule6) OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3))]