The rabbit does not chase the squirrel. The rabbit is big. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit does not like the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel is not rough. The squirrel is round. The squirrel likes the rabbit. The squirrel does not visit the rabbit. If something is nice then it visits the squirrel. If something is rough and red then it visits the squirrel. All rough things are big. If something likes the squirrel then it chases the rabbit. If something visits the squirrel then the squirrel likes the rabbit. If something visits the squirrel and it likes the rabbit then it does not chase the squirrel. If something likes the rabbit then it does not visit the rabbit. If the rabbit likes the squirrel and the rabbit chases the squirrel then the rabbit visits the squirrel.
The squirrel is big.
@0: The rabbit does not chase the squirrel.[(triple1)] The rabbit does not like the squirrel.[(triple6)] The rabbit is big.[(triple2 OR ((triple4) -> rule3))] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit visits the squirrel.[(triple7 OR ((triple3) -> rule1))] The squirrel chases the rabbit.[(triple8)] The squirrel does not visit the rabbit.[(triple15 OR ((triple14) -> rule7) OR ((((triple7) -> rule5)) -> rule7) OR ((((((triple10) -> rule1)) -> rule5)) -> rule7) OR ((((((triple3) -> rule1)) -> rule5)) -> rule7))] The squirrel is big.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is not rough.[(triple12)] The squirrel is red.[(triple11)] The squirrel is round.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple7) -> rule5) OR ((((triple10) -> rule1)) -> rule5) OR ((((triple3) -> rule1)) -> rule5))] @1: The squirrel visits the squirrel.[(((triple10) -> rule1))] @2: The squirrel does not chase the squirrel.[(((((triple10) -> rule1) triple14) -> rule6) OR ((((triple10) -> rule1) ((triple7) -> rule5)) -> rule6) OR ((((triple10) -> rule1) ((((triple10) -> rule1)) -> rule5)) -> rule6) OR ((((triple10) -> rule1) ((((triple3) -> rule1)) -> rule5)) -> rule6))]