The cow eats the rabbit. The cow is nice. The cow is red. The cow is not rough. The cow likes the rabbit. The cow visits the rabbit. The cow visits the squirrel. The rabbit is young. The squirrel is not green. The squirrel is rough. If the cow eats the rabbit then the rabbit likes the cow. If something visits the cow then the cow visits the rabbit. If something is nice then it eats the rabbit. If something is rough then it visits the cow. If something is rough then it visits the cow. If something likes the cow then it is rough.
The rabbit visits the cow.
@0: The cow eats the rabbit.[(triple1 OR ((triple2) -> rule3))] The cow is nice.[(triple2)] The cow is not rough.[(triple4)] The cow is red.[(triple3)] The cow likes the rabbit.[(triple5)] The cow visits the rabbit.[(triple6 OR ((((triple10) -> rule4)) -> rule2) OR ((((triple10) -> rule5)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule4)) -> rule2) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule5)) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule4)) -> rule2) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5)) -> rule2))] The cow visits the squirrel.[(triple7)] The rabbit is young.[(triple8)] The squirrel is not green.[(triple9)] The squirrel is rough.[(triple10)] @1: The rabbit likes the cow.[(((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] The squirrel visits the cow.[(((triple10) -> rule4) OR ((triple10) -> rule5))] @2: The rabbit is rough.[(((((triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1)) -> rule6))] @3: The rabbit visits the cow.[(((((((triple1) -> rule1)) -> rule6)) -> rule4) OR ((((((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6)) -> rule5))]