The rabbit does not eat the squirrel. The rabbit is not blue. The rabbit is kind. The rabbit is nice. The rabbit is round. The rabbit is young. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is round. The squirrel is young. The squirrel visits the rabbit. If someone likes the squirrel then they are round. If someone is nice then they visit the squirrel. If someone is nice then they do not eat the rabbit. If someone is round and they like the squirrel then the squirrel visits the rabbit. If someone eats the rabbit and the rabbit likes the squirrel then they are kind. If someone likes the rabbit and the rabbit is not kind then they are young. If someone likes the squirrel and they are young then the squirrel likes the rabbit. If someone likes the rabbit then they are blue.
The squirrel does not visit the squirrel.
@0: The rabbit does not eat the squirrel.[(triple1)] The rabbit is kind.[(triple3)] The rabbit is nice.[(triple4)] The rabbit is not blue.[(triple2)] The rabbit is round.[(triple5 OR ((triple7) -> rule1))] The rabbit is young.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8 OR ((triple4) -> rule2))] The squirrel eats the rabbit.[(triple9)] The squirrel is round.[(triple10)] The squirrel is young.[(triple11)] The squirrel visits the rabbit.[(triple12 OR ((triple5 triple7) -> rule4) OR ((((triple7) -> rule1) triple7) -> rule4))] @1: The rabbit does not eat the rabbit.[(((triple4) -> rule3))] The squirrel is kind.[(((triple9 triple7) -> rule5))] The squirrel likes the rabbit.[(((triple7 triple6) -> rule7))] @2: The squirrel is blue.[(((((triple7 triple6) -> rule7)) -> rule8))]