The cat chases the lion. The cat is not blue. The cat is round. The lion eats the cat. The lion is blue. The lion is round. The lion does not need the rabbit. The mouse eats the rabbit. The mouse does not need the cat. The rabbit chases the cat. The rabbit chases the mouse. The rabbit is not big. If something chases the rabbit then it needs the cat. If something eats the mouse then the mouse needs the cat. If something is blue then it chases the rabbit. If something chases the rabbit then the rabbit is blue. If something needs the cat and it is not big then it is kind. If the mouse eats the lion then the lion is not round. If something is kind and round then it does not eat the mouse.
The rabbit is kind.
@0: The cat chases the lion.[(triple1)] The cat is not blue.[(triple2)] The cat is round.[(triple3)] The lion does not need the rabbit.[(triple7)] The lion eats the cat.[(triple4)] The lion is blue.[(triple5)] The lion is round.[(triple6)] The mouse does not need the cat.[(triple9)] The mouse eats the rabbit.[(triple8)] The rabbit chases the cat.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is not big.[(triple12)] @1: The lion chases the rabbit.[(((triple5) -> rule3))] @2: The lion needs the cat.[(((((triple5) -> rule3)) -> rule1))] The rabbit is blue.[(((((triple5) -> rule3)) -> rule4))] @3: The rabbit chases the rabbit.[(((((((triple5) -> rule3)) -> rule4)) -> rule3))] @4: The rabbit needs the cat.[(((((((((triple5) -> rule3)) -> rule4)) -> rule3)) -> rule1))] @5: The rabbit is kind.[(((((((((((triple5) -> rule3)) -> rule4)) -> rule3)) -> rule1) triple12) -> rule5))]