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