The cat is big. The cat is kind. The cat likes the mouse. The cat visits the cow. The cat visits the mouse. The cow is nice. The cow likes the cat. The cow needs the cat. The cow needs the mouse. The cow visits the cat. The cow visits the mouse. The mouse visits the cat. If someone likes the cow and they are big then the cow is nice. Big, red people are kind. If someone visits the cow then the cow needs the cat. If someone needs the cat then they are red. If someone visits the cat then they need the cow. If the cow is red then the cow is big. If the mouse likes the cow and the cow visits the mouse then the cow needs the mouse. If someone is nice and they visit the mouse then they need the cat.
The cow is kind.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat likes the mouse.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the mouse.[(triple5)] The cow is nice.[(triple6)] The cow likes the cat.[(triple7)] The cow needs the cat.[(triple8 OR ((triple4) -> rule3) OR ((triple6 triple11) -> rule8))] The cow needs the mouse.[(triple9)] The cow visits the cat.[(triple10)] The cow visits the mouse.[(triple11)] The mouse visits the cat.[(triple12)] @1: The cow is red.[(((triple8) -> rule4) OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6 triple11) -> rule8)) -> rule4))] The cow needs the cow.[(((triple10) -> rule5))] The mouse needs the cow.[(((triple12) -> rule5))] @2: The cow is big.[(((((triple8) -> rule4)) -> rule6) OR ((((((triple4) -> rule3)) -> rule4)) -> rule6) OR ((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6))] @3: The cow is kind.[(((((((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((triple8) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple4) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple6 triple11) -> rule8)) -> rule4)) -> rule6) ((((triple6 triple11) -> rule8)) -> rule4)) -> rule2))]