The cow eats the rabbit. The cow eats the squirrel. The cow eats the tiger. The cow is cold. The cow is rough. The cow sees the rabbit. The cow visits the rabbit. The cow visits the squirrel. The rabbit eats the squirrel. The rabbit is kind. The squirrel eats the cow. The squirrel visits the cow. The squirrel visits the tiger. The tiger is kind. The tiger is rough. The tiger visits the squirrel. If someone eats the squirrel then they visit the rabbit. If someone sees the cow then they are big. If someone eats the squirrel then they eat the rabbit. If someone is green then they are rough. If someone is kind then they eat the squirrel. If someone is green then they visit the tiger. If someone eats the rabbit then they are cold. If someone sees the cow then the cow is kind.
The squirrel is not rough.
@0: The cow eats the rabbit.[(triple1 OR ((triple2) -> rule3))] The cow eats the squirrel.[(triple2)] The cow eats the tiger.[(triple3)] The cow is cold.[(triple4 OR ((triple1) -> rule7) OR ((((triple2) -> rule3)) -> rule7))] The cow is rough.[(triple5)] The cow sees the rabbit.[(triple6)] The cow visits the rabbit.[(triple7 OR ((triple2) -> rule1))] The cow visits the squirrel.[(triple8)] The rabbit eats the squirrel.[(triple9 OR ((triple10) -> rule5))] The rabbit is kind.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel visits the cow.[(triple12)] The squirrel visits the tiger.[(triple13)] The tiger is kind.[(triple14)] The tiger is rough.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The rabbit eats the rabbit.[(((triple9) -> rule3) OR ((((triple10) -> rule5)) -> rule3))] The rabbit visits the rabbit.[(((triple9) -> rule1) OR ((((triple10) -> rule5)) -> rule1))] The tiger eats the squirrel.[(((triple14) -> rule5))] @2: The rabbit is cold.[(((((triple9) -> rule3)) -> rule7) OR ((((((triple10) -> rule5)) -> rule3)) -> rule7))] The tiger eats the rabbit.[(((((triple14) -> rule5)) -> rule3))] The tiger visits the rabbit.[(((((triple14) -> rule5)) -> rule1))] @3: The tiger is cold.[(((((((triple14) -> rule5)) -> rule3)) -> rule7))]