The rabbit is big. The rabbit is blue. The rabbit is cold. The rabbit is red. The rabbit is round. If someone is big and round then they are blue. Round people are blue. Big people are blue. Blue people are red. If someone is round then they are cold. If the rabbit is round then the rabbit is cold. Cold people are round. If someone is cold and not big then they are not round.
The rabbit is not red.
@0: The rabbit is big.[(triple1)] The rabbit is blue.[(triple2 OR ((triple1) -> rule3) OR ((triple5) -> rule2) OR ((triple1 triple5) -> rule1) OR ((((triple3) -> rule7)) -> rule2) OR ((triple1 ((triple3) -> rule7)) -> rule1))] The rabbit is cold.[(triple3 OR ((triple5) -> rule5) OR ((triple5) -> rule6))] The rabbit is red.[(triple4 OR ((triple2) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((triple5) -> rule2)) -> rule4) OR ((((triple1 triple5) -> rule1)) -> rule4) OR ((((((triple3) -> rule7)) -> rule2)) -> rule4) OR ((((triple1 ((triple3) -> rule7)) -> rule1)) -> rule4))] The rabbit is round.[(triple5 OR ((triple3) -> rule7))]