The cat chases the rabbit. The cat is rough. The cat needs the rabbit. The cat needs the squirrel. The rabbit chases the cat. The rabbit is red. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel chases the cat. The squirrel needs the rabbit. If something needs the cat and the cat chases the rabbit then it is red. If something is nice then it needs the squirrel. If the cat sees the squirrel then the squirrel chases the cat. If something is kind then it sees the squirrel. If something sees the squirrel then the squirrel is red. If something sees the cat then the cat is kind. If something chases the rabbit and the rabbit needs the squirrel then the squirrel sees the cat. If something needs the cat then it is nice.
The rabbit is round.
@0: The cat chases the rabbit.[(triple1)] The cat is rough.[(triple2)] The cat needs the rabbit.[(triple3)] The cat needs the squirrel.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the squirrel.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel chases the cat.[(triple9 OR ((((((((triple1 triple7) -> rule7)) -> rule6)) -> rule4)) -> rule3))] The squirrel needs the rabbit.[(triple10)] @1: The squirrel is red.[(((triple8) -> rule5) OR ((((((((triple1 triple7) -> rule7)) -> rule6)) -> rule4)) -> rule5))] The squirrel sees the cat.[(((triple1 triple7) -> rule7))] @2: The cat is kind.[(((((triple1 triple7) -> rule7)) -> rule6))] @3: The cat sees the squirrel.[(((((((triple1 triple7) -> rule7)) -> rule6)) -> rule4))]