The rabbit is blue. If the rabbit is big and the rabbit is red then the rabbit is round. All cold people are red. Blue people are red. If someone is blue then they are red. If someone is blue and not cold then they are not round. If someone is cold then they are round. If the rabbit is blue and the rabbit is red then the rabbit is big. Cold people are not big.
The rabbit is not big.
@0: The rabbit is blue.[(triple1)] @1: The rabbit is red.[(((triple1) -> rule3) OR ((triple1) -> rule4))] @2: The rabbit is big.[(((triple1 ((triple1) -> rule3)) -> rule7) OR ((triple1 ((triple1) -> rule4)) -> rule7))] @3: The rabbit is round.[(((((triple1 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule3)) -> rule7) ((triple1) -> rule4)) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule7) ((triple1) -> rule3)) -> rule1) OR ((((triple1 ((triple1) -> rule4)) -> rule7) ((triple1) -> rule4)) -> rule1))]