The cat chases the dog. The cat is big. The cat sees the dog. The dog chases the tiger. The dog is kind. The dog needs the cat. The dog sees the cat. The dog sees the tiger. The tiger chases the cat. The tiger is big. The tiger needs the dog. The tiger sees the dog. If the dog is big then the dog sees the tiger. If something is round and it sees the tiger then it sees the dog. If the dog chases the cat and the cat chases the dog then the dog needs the tiger. If the tiger needs the cat and the cat needs the dog then the dog chases the cat. If something chases the tiger then the tiger needs the cat. If something needs the tiger and it chases the cat then it sees the cat. If something chases the cat then the cat needs the dog. If something is round and it sees the tiger then the tiger needs the cat.
The dog sees the cat.
@0: The cat chases the dog.[(triple1)] The cat is big.[(triple2)] The cat sees the dog.[(triple3)] The dog chases the tiger.[(triple4)] The dog is kind.[(triple5)] The dog needs the cat.[(triple6)] The dog sees the cat.[(triple7 OR ((((((((triple4) -> rule5) ((triple9) -> rule7)) -> rule4) triple1) -> rule3) ((((triple4) -> rule5) ((triple9) -> rule7)) -> rule4)) -> rule6))] The dog sees the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger is big.[(triple10)] The tiger needs the dog.[(triple11)] The tiger sees the dog.[(triple12)] @1: The cat needs the dog.[(((triple9) -> rule7))] The tiger needs the cat.[(((triple4) -> rule5))] @2: The dog chases the cat.[(((((triple4) -> rule5) ((triple9) -> rule7)) -> rule4))] @3: The dog needs the tiger.[(((((((triple4) -> rule5) ((triple9) -> rule7)) -> rule4) triple1) -> rule3))]