The cat is young. The cow is young. The cow visits the mouse. The mouse eats the cat. The mouse needs the cat. The mouse needs the rabbit. The mouse does not visit the cow. The mouse visits the rabbit. The rabbit is round. The rabbit does not need the cat. The rabbit visits the mouse. If someone eats the cat and they eat the cow then they do not need the mouse. If someone visits the cat then the cat eats the cow. All nice people are red. If the mouse needs the rabbit and the mouse eats the cat then the mouse eats the cow. If someone is red and they visit the mouse then the mouse needs the cow. If someone needs the cow then the cow visits the cat. All round people are nice. If someone needs the cat and the cat visits the rabbit then they do not eat the rabbit.
The rabbit is not nice.
@0: The cat is young.[(triple1)] The cow is young.[(triple2)] The cow visits the mouse.[(triple3)] The mouse does not visit the cow.[(triple7)] The mouse eats the cat.[(triple4)] The mouse needs the cat.[(triple5)] The mouse needs the rabbit.[(triple6)] The mouse visits the rabbit.[(triple8)] The rabbit does not need the cat.[(triple10)] The rabbit is round.[(triple9)] The rabbit visits the mouse.[(triple11)] @1: The mouse eats the cow.[(((triple6 triple4) -> rule4))] The rabbit is nice.[(((triple9) -> rule7))] @2: The mouse does not need the mouse.[(((triple4 ((triple6 triple4) -> rule4)) -> rule1))] The rabbit is red.[(((((triple9) -> rule7)) -> rule3))] @3: The mouse needs the cow.[(((((((triple9) -> rule7)) -> rule3) triple11) -> rule5))] @4: The cow visits the cat.[(((((((((triple9) -> rule7)) -> rule3) triple11) -> rule5)) -> rule6))] @5: The cat eats the cow.[(((((((((((triple9) -> rule7)) -> rule3) triple11) -> rule5)) -> rule6)) -> rule2))]