The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is young. If someone is young then they are cold. Nice, young people are green. All young, nice people are green. If the rabbit is green then the rabbit is red. If the rabbit is nice and the rabbit is young then the rabbit is red. If the rabbit is red then the rabbit is green. If the rabbit is young and the rabbit is red then the rabbit is green. If someone is nice then they are red.
The rabbit is nice.
@0: The rabbit is cold.[(triple1 OR ((triple5) -> rule1))] The rabbit is green.[(triple2 OR ((triple4) -> rule6) OR ((triple3 triple5) -> rule2) OR ((triple5 triple3) -> rule3) OR ((triple5 triple4) -> rule7) OR ((((triple3) -> rule8)) -> rule6) OR ((((triple3 triple5) -> rule5)) -> rule6) OR ((triple5 ((triple3) -> rule8)) -> rule7) OR ((triple5 ((triple3 triple5) -> rule5)) -> rule7))] The rabbit is nice.[(triple3)] The rabbit is red.[(triple4 OR ((triple2) -> rule4) OR ((triple3) -> rule8) OR ((triple3 triple5) -> rule5) OR ((((triple3 triple5) -> rule2)) -> rule4) OR ((((triple5 triple3) -> rule3)) -> rule4))] The rabbit is young.[(triple5)]