The lion is big. The lion is blue. The lion is cold. The lion is red. The lion is young. If the lion is red and the lion is big then the lion is blue. All blue people are young. If the lion is big and the lion is red then the lion is cold. All young, red people are blue. All cold, young people are big. Blue, cold people are red.
The lion is big.
@0: The lion is big.[(triple1 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple2) -> rule2)) -> rule5))] The lion is blue.[(triple2 OR ((triple4 triple1) -> rule1) OR ((triple5 triple4) -> rule4) OR ((triple4 ((triple3 triple5) -> rule5)) -> rule1))] The lion is cold.[(triple3 OR ((triple1 triple4) -> rule3))] The lion is red.[(triple4 OR ((triple2 triple3) -> rule6))] The lion is young.[(triple5 OR ((triple2) -> rule2) OR ((((triple4 triple1) -> rule1)) -> rule2))]