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