The cat is red. The cat is rough. The cat likes the rabbit. The cat needs the squirrel. The rabbit is round. The rabbit likes the cat. The rabbit needs the cat. The rabbit sees the cat. The squirrel is red. The squirrel is round. The squirrel likes the cat. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel sees the cat. The squirrel sees the rabbit. If something needs the cat then it sees the squirrel. If something sees the squirrel then the squirrel is big. If the rabbit sees the squirrel then the squirrel needs the rabbit. If something likes the squirrel and the squirrel is big then the squirrel likes the rabbit. If something sees the squirrel then the squirrel needs the rabbit. If something is big and it likes the cat then the cat is green. If something likes the cat then it is rough. If something likes the squirrel then it sees the rabbit.
The cat sees the rabbit.
@0: The cat is red.[(triple1)] The cat is rough.[(triple2)] The cat likes the rabbit.[(triple3)] The cat needs the squirrel.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the cat.[(triple6)] The rabbit needs the cat.[(triple7)] The rabbit sees the cat.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel likes the rabbit.[(triple12)] The squirrel needs the rabbit.[(triple13 OR ((((triple7) -> rule1)) -> rule3) OR ((((triple7) -> rule1)) -> rule5))] The squirrel sees the cat.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The rabbit is rough.[(((triple6) -> rule7))] The rabbit sees the squirrel.[(((triple7) -> rule1))] The squirrel is rough.[(((triple11) -> rule7))] @2: The squirrel is big.[(((((triple7) -> rule1)) -> rule2))] @3: The cat is green.[(((((((triple7) -> rule1)) -> rule2) triple11) -> rule6))]