The squirrel is big. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is kind. If something is big then it is cold. All kind things are cold. If something is kind and not blue then it is green. If something is kind and cold then it is green. Blue, cold things are green. All cold, kind things are green.
The squirrel is big.
@0: The squirrel is big.[(triple1)] The squirrel is blue.[(triple2)] The squirrel is cold.[(triple3 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The squirrel is green.[(triple4 OR ((triple2 triple3) -> rule5) OR ((triple3 triple5) -> rule6) OR ((triple5 triple3) -> rule4) OR ((triple2 ((triple1) -> rule1)) -> rule5) OR ((triple2 ((triple5) -> rule2)) -> rule5) OR ((triple5 ((triple1) -> rule1)) -> rule4) OR ((triple5 ((triple5) -> rule2)) -> rule4) OR ((((triple1) -> rule1) triple5) -> rule6) OR ((((triple5) -> rule2) triple5) -> rule6))] The squirrel is kind.[(triple5)]