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