The cow is nice. The cow is round. The cow likes the mouse. The cow needs the mouse. The cow visits the mouse. The mouse is blue. The mouse is round. The mouse likes the cow. The mouse needs the cow. The mouse visits the cow. If someone likes the cow then they need the cow. If someone is nice then they visit the cow. If someone needs the cow and the cow is rough then they like the mouse. If someone needs the mouse then the mouse visits the cow. If someone visits the cow then the cow is rough. If someone is blue and they like the mouse then the mouse is kind.
The mouse is not kind.
@0: The cow is nice.[(triple1)] The cow is round.[(triple2)] The cow likes the mouse.[(triple3)] The cow needs the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The mouse is blue.[(triple6)] The mouse is round.[(triple7)] The mouse likes the cow.[(triple8)] The mouse needs the cow.[(triple9 OR ((triple8) -> rule1))] The mouse visits the cow.[(triple10 OR ((triple4) -> rule4))] @1: The cow is rough.[(((triple10) -> rule5) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple4) -> rule4)) -> rule5))] The cow visits the cow.[(((triple1) -> rule2))] @2: The mouse likes the mouse.[(((triple9 ((triple10) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3) OR ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3))] @3: The mouse is kind.[(((triple6 ((triple9 ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((triple10) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((triple9 ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6) OR ((triple6 ((((triple8) -> rule1) ((((triple4) -> rule4)) -> rule5)) -> rule3)) -> rule6))]