The cat chases the rabbit. The cat is rough. The rabbit chases the cat. The rabbit is young. The squirrel chases the cat. The squirrel is round. The squirrel visits the cat. Round, young people are big. If someone visits the cat and they visit the rabbit then they need the squirrel. If the squirrel is young then the squirrel is rough. If someone needs the rabbit then they chase the cat. If someone needs the cat then they are big. If someone is young and big then they need the rabbit. If someone chases the rabbit then the rabbit is round. If someone is rough and they need the squirrel then the squirrel needs the cat.
The rabbit is big.
@0: The cat chases the rabbit.[(triple1)] The cat is rough.[(triple2)] The rabbit chases the cat.[(triple3 OR ((((triple4 ((((triple1) -> rule7) triple4) -> rule1)) -> rule6)) -> rule4))] The rabbit is young.[(triple4)] The squirrel chases the cat.[(triple5)] The squirrel is round.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The rabbit is round.[(((triple1) -> rule7))] @2: The rabbit is big.[(((((triple1) -> rule7) triple4) -> rule1))] @3: The rabbit needs the rabbit.[(((triple4 ((((triple1) -> rule7) triple4) -> rule1)) -> rule6))]