The cat eats the squirrel. The cat sees the squirrel. The cow eats the squirrel. The cow sees the cat. The rabbit is round. The rabbit sees the cat. The squirrel eats the rabbit. The squirrel is cold. The squirrel needs the rabbit. The squirrel sees the cat. If someone sees the cat and they are not green then they see the cow. If the rabbit is kind and the rabbit sees the squirrel then the squirrel needs the rabbit. Rough people are cold. If someone sees the rabbit then they are not round. If someone sees the squirrel and they are not green then they need the squirrel. If someone eats the cow then they see the rabbit. If someone eats the squirrel then they are rough. If someone is cold then they eat the cow.
The cow is not cold.
@0: The cat eats the squirrel.[(triple1)] The cat sees the squirrel.[(triple2)] The cow eats the squirrel.[(triple3)] The cow sees the cat.[(triple4)] The rabbit is round.[(triple5)] The rabbit sees the cat.[(triple6)] The squirrel eats the rabbit.[(triple7)] The squirrel is cold.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat is rough.[(((triple1) -> rule7))] The cow is rough.[(((triple3) -> rule7))] The squirrel eats the cow.[(((triple8) -> rule8))] @2: The cat is cold.[(((((triple1) -> rule7)) -> rule3))] The cow is cold.[(((((triple3) -> rule7)) -> rule3))] The squirrel sees the rabbit.[(((((triple8) -> rule8)) -> rule6))] @3: The cat eats the cow.[(((((((triple1) -> rule7)) -> rule3)) -> rule8))] The cow eats the cow.[(((((((triple3) -> rule7)) -> rule3)) -> rule8))] The squirrel is not round.[(((((((triple8) -> rule8)) -> rule6)) -> rule4))] @4: The cat sees the rabbit.[(((((((((triple1) -> rule7)) -> rule3)) -> rule8)) -> rule6))] The cow sees the rabbit.[(((((((((triple3) -> rule7)) -> rule3)) -> rule8)) -> rule6))] @5: The cat is not round.[(((((((((((triple1) -> rule7)) -> rule3)) -> rule8)) -> rule6)) -> rule4))] The cow is not round.[(((((((((((triple3) -> rule7)) -> rule3)) -> rule8)) -> rule6)) -> rule4))]