The dog chases the rabbit. The mouse chases the rabbit. The mouse is blue. The mouse is not rough. The rabbit needs the tiger. The tiger chases the dog. The tiger chases the rabbit. The tiger is big. The tiger does not like the dog. The tiger needs the mouse. If someone chases the tiger then they do not need the rabbit. If someone needs the rabbit then they do not need the tiger. If someone is big then they are kind. If someone needs the dog then the dog does not like the mouse. If someone is blue and they do not need the rabbit then the rabbit is big. If someone is kind and they chase the rabbit then they need the dog. If someone likes the rabbit then they are big. If the tiger needs the dog then the dog likes the rabbit. If someone is big and they chase the mouse then the mouse is rough.
The dog is big.
@0: The dog chases the rabbit.[(triple1)] The mouse chases the rabbit.[(triple2)] The mouse is blue.[(triple3)] The mouse is not rough.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger chases the rabbit.[(triple7)] The tiger does not like the dog.[(triple9)] The tiger is big.[(triple8)] The tiger needs the mouse.[(triple10)] @1: The tiger is kind.[(((triple8) -> rule3))] @2: The tiger needs the dog.[(((((triple8) -> rule3) triple7) -> rule6))] @3: The dog does not like the mouse.[(((((((triple8) -> rule3) triple7) -> rule6)) -> rule4) OR ((((((((((((((triple8) -> rule3) triple7) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple1) -> rule6)) -> rule4))] The dog likes the rabbit.[(((((((triple8) -> rule3) triple7) -> rule6)) -> rule8))] @4: The dog is big.[(((((((((triple8) -> rule3) triple7) -> rule6)) -> rule8)) -> rule7))] @5: The dog is kind.[(((((((((((triple8) -> rule3) triple7) -> rule6)) -> rule8)) -> rule7)) -> rule3))] @6: The dog needs the dog.[(((((((((((((triple8) -> rule3) triple7) -> rule6)) -> rule8)) -> rule7)) -> rule3) triple1) -> rule6))]