The rabbit eats the squirrel. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel eats the rabbit. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is rough. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone is nice then they need the squirrel. If someone eats the rabbit and the rabbit needs the squirrel then the rabbit eats the squirrel. If someone needs the squirrel and the squirrel needs the rabbit then they eat the squirrel. If the rabbit eats the squirrel and the rabbit needs the squirrel then the rabbit is cold. If someone likes the rabbit then they need the squirrel. If someone likes the rabbit and the rabbit likes the squirrel then the rabbit is cold. If someone is green then they need the squirrel. If someone needs the rabbit then the rabbit is green.
The squirrel eats the squirrel.
@0: The rabbit eats the squirrel.[(triple1 OR ((triple8 triple16) -> rule3) OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple3) -> rule7)) -> rule2) OR ((triple9 ((triple4) -> rule1)) -> rule2) OR ((((triple3) -> rule7) triple16) -> rule3) OR ((((triple4) -> rule1) triple16) -> rule3) OR ((triple9 ((((triple16) -> rule8)) -> rule7)) -> rule2) OR ((((((triple16) -> rule8)) -> rule7) triple16) -> rule3))] The rabbit is cold.[(triple2 OR ((triple1 triple8) -> rule4) OR ((triple15 triple7) -> rule6) OR ((triple1 ((triple3) -> rule7)) -> rule4) OR ((triple1 ((triple4) -> rule1)) -> rule4) OR ((((triple8 triple16) -> rule3) triple8) -> rule4) OR ((((triple9 triple8) -> rule2) triple8) -> rule4) OR ((((triple8 triple16) -> rule3) ((triple3) -> rule7)) -> rule4) OR ((((triple8 triple16) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((triple9 triple8) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((triple9 triple8) -> rule2) ((triple4) -> rule1)) -> rule4) OR ((triple1 ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 ((triple3) -> rule7)) -> rule2) triple8) -> rule4) OR ((((triple9 ((triple4) -> rule1)) -> rule2) triple8) -> rule4) OR ((((((triple3) -> rule7) triple16) -> rule3) triple8) -> rule4) OR ((((((triple4) -> rule1) triple16) -> rule3) triple8) -> rule4) OR ((((triple8 triple16) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 triple8) -> rule2) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 ((triple3) -> rule7)) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((triple9 ((triple3) -> rule7)) -> rule2) ((triple4) -> rule1)) -> rule4) OR ((((triple9 ((triple4) -> rule1)) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((triple9 ((triple4) -> rule1)) -> rule2) ((triple4) -> rule1)) -> rule4) OR ((((((triple3) -> rule7) triple16) -> rule3) ((triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule7) triple16) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((((triple4) -> rule1) triple16) -> rule3) ((triple3) -> rule7)) -> rule4) OR ((((((triple4) -> rule1) triple16) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((triple9 ((triple3) -> rule7)) -> rule2) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 ((triple4) -> rule1)) -> rule2) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((((triple3) -> rule7) triple16) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((((triple4) -> rule1) triple16) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((triple9 ((((triple16) -> rule8)) -> rule7)) -> rule2) triple8) -> rule4) OR ((((((((triple16) -> rule8)) -> rule7) triple16) -> rule3) triple8) -> rule4) OR ((((triple9 ((((triple16) -> rule8)) -> rule7)) -> rule2) ((triple3) -> rule7)) -> rule4) OR ((((triple9 ((((triple16) -> rule8)) -> rule7)) -> rule2) ((triple4) -> rule1)) -> rule4) OR ((((((((triple16) -> rule8)) -> rule7) triple16) -> rule3) ((triple3) -> rule7)) -> rule4) OR ((((((((triple16) -> rule8)) -> rule7) triple16) -> rule3) ((triple4) -> rule1)) -> rule4) OR ((((triple9 ((((triple16) -> rule8)) -> rule7)) -> rule2) ((((triple16) -> rule8)) -> rule7)) -> rule4) OR ((((((((triple16) -> rule8)) -> rule7) triple16) -> rule3) ((((triple16) -> rule8)) -> rule7)) -> rule4))] The rabbit is green.[(triple3 OR ((triple16) -> rule8))] The rabbit is nice.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit needs the squirrel.[(triple8 OR ((triple3) -> rule7) OR ((triple4) -> rule1) OR ((((triple16) -> rule8)) -> rule7))] The squirrel eats the rabbit.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is green.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the rabbit.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The squirrel needs the squirrel.[(((triple11) -> rule7) OR ((triple12) -> rule1) OR ((triple15) -> rule5))] @2: The squirrel eats the squirrel.[(((((triple11) -> rule7) triple16) -> rule3) OR ((((triple12) -> rule1) triple16) -> rule3) OR ((((triple15) -> rule5) triple16) -> rule3))]