The dog is big. The dog is blue. The dog is green. The dog is kind. The mouse likes the rabbit. The mouse sees the tiger. The rabbit is blue. The rabbit is kind. The rabbit likes the dog. The rabbit sees the dog. The rabbit sees the mouse. The tiger is blue. If the rabbit sees the mouse and the rabbit likes the tiger then the rabbit is kind. If something needs the mouse then it likes the dog. If something needs the dog then it needs the rabbit. If something is green then it needs the dog. If something needs the rabbit and it needs the dog then the rabbit is green. If something sees the dog and it is green then it needs the tiger. If something likes the mouse and it sees the tiger then it likes the rabbit.
The tiger likes the rabbit.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The mouse likes the rabbit.[(triple5)] The mouse sees the tiger.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is kind.[(triple8)] The rabbit likes the dog.[(triple9)] The rabbit sees the dog.[(triple10)] The rabbit sees the mouse.[(triple11)] The tiger is blue.[(triple12)] @1: The dog needs the dog.[(((triple3) -> rule4))] @2: The dog needs the rabbit.[(((((triple3) -> rule4)) -> rule3))] @3: The rabbit is green.[(((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule5))] @4: The rabbit needs the dog.[(((((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule5)) -> rule4))] The rabbit needs the tiger.[(((triple10 ((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule5)) -> rule6))] @5: The rabbit needs the rabbit.[(((((((((((triple3) -> rule4)) -> rule3) ((triple3) -> rule4)) -> rule5)) -> rule4)) -> rule3))]