The bear is round. The bear is young. The bear needs the dog. The bear sees the cat. The cat eats the bear. The cat is green. The cat needs the mouse. The dog eats the cat. The dog is cold. The dog is green. The dog needs the cat. The dog sees the bear. The mouse eats the dog. The mouse is cold. The mouse needs the bear. The mouse needs the dog. If something eats the mouse then it needs the dog. If the mouse sees the bear then the bear needs the mouse. If something eats the dog and the dog eats the bear then it needs the bear. If something is round and it eats the bear then it sees the bear. If something eats the bear then it is round. If something eats the dog and it needs the cat then it eats the bear. If something needs the mouse then the mouse needs the cat.
The cat is young.
@0: The bear is round.[(triple1)] The bear is young.[(triple2)] The bear needs the dog.[(triple3)] The bear sees the cat.[(triple4)] The cat eats the bear.[(triple5)] The cat is green.[(triple6)] The cat needs the mouse.[(triple7)] The dog eats the cat.[(triple8)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog needs the cat.[(triple11)] The dog sees the bear.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is cold.[(triple14)] The mouse needs the bear.[(triple15)] The mouse needs the dog.[(triple16)] @1: The cat is round.[(((triple5) -> rule5))] The mouse needs the cat.[(((triple7) -> rule7))] @2: The cat sees the bear.[(((((triple5) -> rule5) triple5) -> rule4))] The mouse eats the bear.[(((triple13 ((triple7) -> rule7)) -> rule6))] @3: The mouse is round.[(((((triple13 ((triple7) -> rule7)) -> rule6)) -> rule5))] @4: The mouse sees the bear.[(((((((triple13 ((triple7) -> rule7)) -> rule6)) -> rule5) ((triple13 ((triple7) -> rule7)) -> rule6)) -> rule4))] @5: The bear needs the mouse.[(((((((((triple13 ((triple7) -> rule7)) -> rule6)) -> rule5) ((triple13 ((triple7) -> rule7)) -> rule6)) -> rule4)) -> rule2))]