The lion is green. The lion is nice. The lion is red. The lion is round. The lion is young. If the lion is round and the lion is nice then the lion is red. If the lion is round and the lion is not nice then the lion is red. If someone is young and not nice then they are not red. If the lion is nice and the lion is red then the lion is green. If the lion is nice and the lion is green then the lion is round. If someone is red and young then they are green.
The lion is nice.
@0: The lion is green.[(triple1 OR ((triple2 triple3) -> rule4) OR ((triple3 triple5) -> rule6) OR ((triple2 ((triple4 triple2) -> rule1)) -> rule4) OR ((((triple4 triple2) -> rule1) triple5) -> rule6))] The lion is nice.[(triple2)] The lion is red.[(triple3 OR ((triple4 triple2) -> rule1) OR ((((triple2 triple1) -> rule5) triple2) -> rule1))] The lion is round.[(triple4 OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple2 triple3) -> rule4)) -> rule5) OR ((triple2 ((triple3 triple5) -> rule6)) -> rule5))] The lion is young.[(triple5)]