The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit is round. If the rabbit is kind and the rabbit is round then the rabbit is rough. Round people are kind. All rough, kind people are cold. All round, rough people are kind. Cold people are red. All cold, red people are kind.
The rabbit is rough.
@0: The rabbit is cold.[(triple1 OR ((triple4 triple2) -> rule3) OR ((triple4 ((triple5) -> rule2)) -> rule3) OR ((triple4 ((triple5 triple4) -> rule4)) -> rule3) OR ((((triple2 triple5) -> rule1) triple2) -> rule3) OR ((((triple2 triple5) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((triple2 triple5) -> rule1) ((triple5 triple4) -> rule4)) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule1) triple2) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule1) ((triple5) -> rule2)) -> rule3) OR ((((((triple5) -> rule2) triple5) -> rule1) ((triple5 triple4) -> rule4)) -> rule3))] The rabbit is kind.[(triple2 OR ((triple5) -> rule2) OR ((triple1 triple3) -> rule6) OR ((triple5 triple4) -> rule4) OR ((triple1 ((triple1) -> rule5)) -> rule6))] The rabbit is red.[(triple3 OR ((triple1) -> rule5) OR ((((triple4 triple2) -> rule3)) -> rule5) OR ((((triple4 ((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((triple4 ((triple5 triple4) -> rule4)) -> rule3)) -> rule5) OR ((((((triple2 triple5) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple2 triple5) -> rule1) ((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((((triple2 triple5) -> rule1) ((triple5 triple4) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule2) triple5) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((((triple5) -> rule2) triple5) -> rule1) ((triple5) -> rule2)) -> rule3)) -> rule5) OR ((((((((triple5) -> rule2) triple5) -> rule1) ((triple5 triple4) -> rule4)) -> rule3)) -> rule5))] The rabbit is rough.[(triple4 OR ((triple2 triple5) -> rule1) OR ((((triple5) -> rule2) triple5) -> rule1) OR ((((triple1 triple3) -> rule6) triple5) -> rule1) OR ((((triple1 ((triple1) -> rule5)) -> rule6) triple5) -> rule1))] The rabbit is round.[(triple5)]