The bear is cold. The bear is rough. The bear needs the cat. The bear needs the rabbit. The bear sees the rabbit. The cat eats the bear. The cat is blue. The rabbit eats the cat. The rabbit eats the squirrel. The rabbit is big. The rabbit is rough. The rabbit is round. The squirrel eats the bear. The squirrel eats the cat. The squirrel is big. The squirrel is rough. If something eats the rabbit then the rabbit sees the bear. If something eats the rabbit then it needs the squirrel. If something sees the bear and it sees the cat then the cat sees the rabbit. If something sees the rabbit and the rabbit is rough then it sees the cat. All round, blue things are big. If the bear is big and the bear sees the squirrel then the bear is round. If something sees the cat then it sees the bear.
The squirrel does not see the rabbit.
@0: The bear is cold.[(triple1)] The bear is rough.[(triple2)] The bear needs the cat.[(triple3)] The bear needs the rabbit.[(triple4)] The bear sees the rabbit.[(triple5)] The cat eats the bear.[(triple6)] The cat is blue.[(triple7)] The rabbit eats the cat.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is big.[(triple10)] The rabbit is rough.[(triple11)] The rabbit is round.[(triple12)] The squirrel eats the bear.[(triple13)] The squirrel eats the cat.[(triple14)] The squirrel is big.[(triple15)] The squirrel is rough.[(triple16)] @1: The bear sees the cat.[(((triple5 triple11) -> rule4))] @2: The bear sees the bear.[(((((triple5 triple11) -> rule4)) -> rule7))] @3: The cat sees the rabbit.[(((((((triple5 triple11) -> rule4)) -> rule7) ((triple5 triple11) -> rule4)) -> rule3))] @4: The cat sees the cat.[(((((((((triple5 triple11) -> rule4)) -> rule7) ((triple5 triple11) -> rule4)) -> rule3) triple11) -> rule4))] @5: The cat sees the bear.[(((((((((((triple5 triple11) -> rule4)) -> rule7) ((triple5 triple11) -> rule4)) -> rule3) triple11) -> rule4)) -> rule7))]