The lion is big. The lion is cold. The lion is red. Cold, blue things are kind. All big, blue things are red. If something is kind and big then it is red. If something is kind and big then it is red. Big things are blue. Blue things are cold. All kind things are cold. If the lion is cold then the lion is red.
The lion is not blue.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((((triple1) -> rule5)) -> rule6))] The lion is red.[(triple3 OR ((triple2) -> rule8) OR ((triple1 ((triple1) -> rule5)) -> rule2) OR ((((((triple1) -> rule5)) -> rule6)) -> rule8) OR ((((triple2 ((triple1) -> rule5)) -> rule1) triple1) -> rule3) OR ((((triple2 ((triple1) -> rule5)) -> rule1) triple1) -> rule4) OR ((((((((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule1) triple1) -> rule3) OR ((((((((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule1) triple1) -> rule4))] @1: The lion is blue.[(((triple1) -> rule5))] @2: The lion is kind.[(((triple2 ((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule1))]