The mouse is big. The mouse is blue. The mouse is kind. The mouse needs the rabbit. The mouse sees the rabbit. The mouse visits the rabbit. The rabbit is blue. The rabbit is kind. The rabbit is round. The rabbit needs the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If the rabbit visits the mouse and the mouse visits the rabbit then the rabbit is blue.
The mouse is not round.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is kind.[(triple3)] The mouse needs the rabbit.[(triple4)] The mouse sees the rabbit.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit is blue.[(triple7 OR ((triple12 triple6) -> rule1))] The rabbit is kind.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the mouse.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit visits the mouse.[(triple12)]