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