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