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