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