The rabbit is blue. The rabbit is red. The rabbit is round. All red, blue people are cold. If the rabbit is round and the rabbit is red then the rabbit is cold. If someone is red then they are young. If the rabbit is cold and the rabbit is round then the rabbit is young. All young people are blue. All cold people are round.
The rabbit is not red.
@0: The rabbit is blue.[(triple1 OR ((((triple2) -> rule3)) -> rule5) OR ((((((triple3 triple2) -> rule2) triple3) -> rule4)) -> rule5))] The rabbit is red.[(triple2)] The rabbit is round.[(triple3 OR ((((triple2 triple1) -> rule1)) -> rule6) OR ((((triple2 ((((triple2) -> rule3)) -> rule5)) -> rule1)) -> rule6))] @1: The rabbit is cold.[(((triple2 triple1) -> rule1) OR ((triple3 triple2) -> rule2) OR ((triple2 ((((triple2) -> rule3)) -> rule5)) -> rule1))] The rabbit is young.[(((triple2) -> rule3) OR ((((triple2 triple1) -> rule1) triple3) -> rule4) OR ((((triple3 triple2) -> rule2) triple3) -> rule4) OR ((((triple2 triple1) -> rule1) ((((triple2 triple1) -> rule1)) -> rule6)) -> rule4) OR ((((triple3 triple2) -> rule2) ((((triple2 triple1) -> rule1)) -> rule6)) -> rule4))]