The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is nice. The rabbit is red. If the rabbit is kind then the rabbit is nice. All red people are blue. All cold people are kind. If someone is blue then they are kind. Red, kind people are cold. All blue, kind people are red.
The rabbit does not eat the rabbit.
@0: The rabbit is blue.[(triple1 OR ((triple5) -> rule2))] The rabbit is cold.[(triple2 OR ((triple5 triple3) -> rule5) OR ((triple5 ((triple1) -> rule4)) -> rule5) OR ((((triple1 triple3) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((triple5 ((((triple5) -> rule2)) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule6) triple3) -> rule5) OR ((((triple1 triple3) -> rule6) ((((triple5) -> rule2)) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule5) OR ((((triple1 ((triple1) -> rule4)) -> rule6) ((((triple5) -> rule2)) -> rule4)) -> rule5))] The rabbit is kind.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule3) OR ((((triple5) -> rule2)) -> rule4))] The rabbit is nice.[(triple4 OR ((triple3) -> rule1) OR ((((triple1) -> rule4)) -> rule1) OR ((((triple2) -> rule3)) -> rule1) OR ((((((triple5) -> rule2)) -> rule4)) -> rule1))] The rabbit is red.[(triple5 OR ((triple1 triple3) -> rule6) OR ((triple1 ((triple1) -> rule4)) -> rule6) OR ((triple1 ((triple2) -> rule3)) -> rule6))]