The cow chases the rabbit. The dog is big. The dog is rough. The rabbit chases the cow. The rabbit eats the dog. The rabbit is big. The rabbit is round. The rabbit is young. The rabbit sees the cow. The rabbit sees the dog. If someone is blue and young then they see the dog. If the dog chases the cow and the cow sees the rabbit then the dog sees the rabbit. If someone chases the cow then the cow chases the rabbit. If someone sees the rabbit and they see the cow then the cow chases the rabbit. If someone sees the dog then the dog chases the cow. If someone eats the rabbit then the rabbit sees the cow. If someone chases the cow then they see the dog. If someone is rough and they see the dog then they eat the rabbit.
The dog sees the rabbit.
@0: The cow chases the rabbit.[(triple1 OR ((triple4) -> rule3) OR ((((triple10) -> rule5)) -> rule3) OR ((((((triple4) -> rule7)) -> rule5)) -> rule3))] The dog is big.[(triple2)] The dog is rough.[(triple3)] The rabbit chases the cow.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit is big.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the cow.[(triple9 OR ((((triple3 ((((triple10) -> rule5)) -> rule7)) -> rule8)) -> rule6) OR ((((triple3 ((((((triple4) -> rule7)) -> rule5)) -> rule7)) -> rule8)) -> rule6))] The rabbit sees the dog.[(triple10 OR ((triple4) -> rule7))] @1: The dog chases the cow.[(((triple10) -> rule5) OR ((((triple4) -> rule7)) -> rule5))] @2: The dog sees the dog.[(((((triple10) -> rule5)) -> rule7) OR ((((((triple4) -> rule7)) -> rule5)) -> rule7))] @3: The dog eats the rabbit.[(((triple3 ((((triple10) -> rule5)) -> rule7)) -> rule8) OR ((triple3 ((((((triple4) -> rule7)) -> rule5)) -> rule7)) -> rule8))]