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