The cow chases the mouse. The cow chases the rabbit. The cow is green. The cow needs the mouse. The cow needs the rabbit. The mouse chases the rabbit. The mouse likes the cow. The rabbit is green. The rabbit is young. The squirrel chases the mouse. The squirrel needs the cow. The squirrel needs the mouse. If someone is red then they chase the rabbit. If someone needs the squirrel then they chase the rabbit. If someone is kind then they need the cow. All young people are kind. If someone is young then they chase the mouse. If someone is green and they like the squirrel then the squirrel is young. If someone needs the cow and the cow chases the mouse then they like the squirrel.
The rabbit is kind.
@0: The cow chases the mouse.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is green.[(triple3)] The cow needs the mouse.[(triple4)] The cow needs the rabbit.[(triple5)] The mouse chases the rabbit.[(triple6)] The mouse likes the cow.[(triple7)] The rabbit is green.[(triple8)] The rabbit is young.[(triple9)] The squirrel chases the mouse.[(triple10 OR ((((triple8 ((((((triple9) -> rule4)) -> rule3) triple1) -> rule7)) -> rule6)) -> rule5))] The squirrel needs the cow.[(triple11 OR ((((((triple8 ((((((triple9) -> rule4)) -> rule3) triple1) -> rule7)) -> rule6)) -> rule4)) -> rule3))] The squirrel needs the mouse.[(triple12)] @1: The rabbit chases the mouse.[(((triple9) -> rule5))] The rabbit is kind.[(((triple9) -> rule4))] The squirrel likes the squirrel.[(((triple11 triple1) -> rule7) OR ((((((((triple8 ((((((triple9) -> rule4)) -> rule3) triple1) -> rule7)) -> rule6)) -> rule4)) -> rule3) triple1) -> rule7))] @2: The rabbit needs the cow.[(((((triple9) -> rule4)) -> rule3))] @3: The rabbit likes the squirrel.[(((((((triple9) -> rule4)) -> rule3) triple1) -> rule7))] @4: The squirrel is young.[(((triple8 ((((((triple9) -> rule4)) -> rule3) triple1) -> rule7)) -> rule6))] @5: The squirrel is kind.[(((((triple8 ((((((triple9) -> rule4)) -> rule3) triple1) -> rule7)) -> rule6)) -> rule4))]