The rabbit is blue. The rabbit is green. The rabbit is kind. The rabbit is rough. The rabbit is young. If the rabbit is rough and the rabbit is young then the rabbit is kind. Blue, young things are rough. If something is young then it is blue. If the rabbit is green and the rabbit is kind then the rabbit is blue. If the rabbit is green and the rabbit is rough then the rabbit is blue. All rough, kind things are blue. If something is blue and young then it is green. Rough things are young.
The rabbit does not need the rabbit.
@0: The rabbit is blue.[(triple1 OR ((triple5) -> rule3) OR ((triple2 triple3) -> rule4) OR ((triple2 triple4) -> rule5) OR ((triple4 triple3) -> rule6) OR ((((triple4) -> rule8)) -> rule3) OR ((triple2 ((triple4 triple5) -> rule1)) -> rule4) OR ((triple4 ((triple4 triple5) -> rule1)) -> rule6) OR ((triple2 ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule4) OR ((triple4 ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule6))] The rabbit is green.[(triple2 OR ((triple1 triple5) -> rule7) OR ((triple1 ((triple4) -> rule8)) -> rule7) OR ((((triple5) -> rule3) triple5) -> rule7) OR ((((triple4 triple3) -> rule6) triple5) -> rule7) OR ((((triple5) -> rule3) ((triple4) -> rule8)) -> rule7) OR ((((triple4 triple3) -> rule6) ((triple4) -> rule8)) -> rule7) OR ((((((triple4) -> rule8)) -> rule3) triple5) -> rule7) OR ((((triple4 ((triple4 triple5) -> rule1)) -> rule6) triple5) -> rule7) OR ((((((triple4) -> rule8)) -> rule3) ((triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple4 triple5) -> rule1)) -> rule6) ((triple4) -> rule8)) -> rule7) OR ((((triple4 ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule6) triple5) -> rule7) OR ((((triple4 ((triple4 ((triple4) -> rule8)) -> rule1)) -> rule6) ((triple4) -> rule8)) -> rule7))] The rabbit is kind.[(triple3 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule8)) -> rule1) OR ((((triple1 triple5) -> rule2) triple5) -> rule1) OR ((((triple1 triple5) -> rule2) ((triple4) -> rule8)) -> rule1) OR ((((((triple5) -> rule3) triple5) -> rule2) triple5) -> rule1) OR ((((((triple5) -> rule3) triple5) -> rule2) ((triple4) -> rule8)) -> rule1))] The rabbit is rough.[(triple4 OR ((triple1 triple5) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule2) OR ((((triple2 triple3) -> rule4) triple5) -> rule2))] The rabbit is young.[(triple5 OR ((triple4) -> rule8))]