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