The cat chases the dog. The cat sees the mouse. The dog chases the mouse. The dog is green. The dog needs the tiger. The dog sees the mouse. The mouse is big. The tiger is big. The tiger is kind. The tiger needs the cat. The tiger needs the mouse. The tiger sees the dog. If someone chases the cat then they are rough. If someone sees the tiger and the tiger chases the dog then the tiger sees the dog. All green people are kind. If someone is big then they need the tiger. If someone is kind then they need the cat. If someone chases the mouse and they need the mouse then they chase the cat. If the dog needs the cat and the dog needs the tiger then the cat is green. If someone sees the dog then the dog sees the mouse. All kind people are cold.
The cat is green.
@0: The cat chases the dog.[(triple1)] The cat sees the mouse.[(triple2)] The dog chases the mouse.[(triple3)] The dog is green.[(triple4)] The dog needs the tiger.[(triple5)] The dog sees the mouse.[(triple6 OR ((triple12) -> rule8))] The mouse is big.[(triple7)] The tiger is big.[(triple8)] The tiger is kind.[(triple9)] The tiger needs the cat.[(triple10 OR ((triple9) -> rule5))] The tiger needs the mouse.[(triple11)] The tiger sees the dog.[(triple12)] @1: The dog is kind.[(((triple4) -> rule3))] The mouse needs the tiger.[(((triple7) -> rule4))] The tiger is cold.[(((triple9) -> rule9))] The tiger needs the tiger.[(((triple8) -> rule4))] @2: The dog is cold.[(((((triple4) -> rule3)) -> rule9))] The dog needs the cat.[(((((triple4) -> rule3)) -> rule5))] @3: The cat is green.[(((((((triple4) -> rule3)) -> rule5) triple5) -> rule7))] @4: The cat is kind.[(((((((((triple4) -> rule3)) -> rule5) triple5) -> rule7)) -> rule3))] @5: The cat is cold.[(((((((((((triple4) -> rule3)) -> rule5) triple5) -> rule7)) -> rule3)) -> rule9))] The cat needs the cat.[(((((((((((triple4) -> rule3)) -> rule5) triple5) -> rule7)) -> rule3)) -> rule5))]