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