The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is red. The rabbit is rough. If the rabbit is blue then the rabbit is red. Rough people are blue. If someone is blue then they are nice. If someone is nice and blue then they are red. If the rabbit is rough then the rabbit is blue. If someone is rough and not blue then they are cold.
The rabbit sees the rabbit.
@0: The rabbit is blue.[(triple1 OR ((triple5) -> rule2) OR ((triple5) -> rule5))] The rabbit is cold.[(triple2)] The rabbit is nice.[(triple3 OR ((triple1) -> rule3) OR ((((triple5) -> rule2)) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] The rabbit is red.[(triple4 OR ((triple1) -> rule1) OR ((triple3 triple1) -> rule4) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple5) -> rule5)) -> rule1) OR ((triple3 ((triple5) -> rule2)) -> rule4) OR ((triple3 ((triple5) -> rule5)) -> rule4) OR ((((triple1) -> rule3) triple1) -> rule4) OR ((((triple1) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((triple1) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) triple1) -> rule4) OR ((((((triple5) -> rule5)) -> rule3) triple1) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule2)) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5)) -> rule3) ((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule4))] The rabbit is rough.[(triple5)]