The cat is cold. The cat is rough. The cat sees the rabbit. The cat visits the mouse. The cow chases the rabbit. The cow is nice. The mouse chases the cow. The mouse sees the cat. The rabbit chases the cow. The rabbit sees the cat. If someone sees the cat then they are rough. If someone chases the cat and they visit the mouse then they are kind. If someone chases the rabbit then they see the cat. If someone is rough then they visit the cat. If the mouse visits the cow then the cow chases the mouse. If someone chases the cat then the cat visits the mouse. If someone visits the cat then they are cold. If someone chases the cow and the cow visits the rabbit then they chase the rabbit.
The cow is not rough.
@0: The cat is cold.[(triple1 OR ((((triple2) -> rule4)) -> rule7))] The cat is rough.[(triple2)] The cat sees the rabbit.[(triple3)] The cat visits the mouse.[(triple4)] The cow chases the rabbit.[(triple5)] The cow is nice.[(triple6)] The mouse chases the cow.[(triple7)] The mouse sees the cat.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The cat visits the cat.[(((triple2) -> rule4))] The cow sees the cat.[(((triple5) -> rule3))] The mouse is rough.[(((triple8) -> rule1))] The rabbit is rough.[(((triple10) -> rule1))] @2: The cow is rough.[(((((triple5) -> rule3)) -> rule1))] The mouse visits the cat.[(((((triple8) -> rule1)) -> rule4))] The rabbit visits the cat.[(((((triple10) -> rule1)) -> rule4))] @3: The cow visits the cat.[(((((((triple5) -> rule3)) -> rule1)) -> rule4))] The mouse is cold.[(((((((triple8) -> rule1)) -> rule4)) -> rule7))] The rabbit is cold.[(((((((triple10) -> rule1)) -> rule4)) -> rule7))] @4: The cow is cold.[(((((((((triple5) -> rule3)) -> rule1)) -> rule4)) -> rule7))]