The cat is big. The cat is cold. The cat is kind. The cat is young. The cat likes the rabbit. The cat needs the mouse. The cat sees the mouse. The cat sees the rabbit. The mouse likes the rabbit. The mouse needs the rabbit. The mouse sees the cat. The rabbit is young. The rabbit likes the mouse. The rabbit needs the mouse. The rabbit sees the cat. If the mouse is kind then the mouse likes the cat. If someone needs the rabbit and the rabbit sees the cat then they are kind. If someone sees the mouse and the mouse sees the cat then the mouse likes the cat. If someone needs the cat then the cat is green. If someone is cold then they see the cat. If someone is big and they need the rabbit then they like the mouse.
The rabbit likes the mouse.
@0: The cat is big.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is young.[(triple4)] The cat likes the rabbit.[(triple5)] The cat needs the mouse.[(triple6)] The cat sees the mouse.[(triple7)] The cat sees the rabbit.[(triple8)] The mouse likes the rabbit.[(triple9)] The mouse needs the rabbit.[(triple10)] The mouse sees the cat.[(triple11)] The rabbit is young.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit needs the mouse.[(triple14)] The rabbit sees the cat.[(triple15)] @1: The cat sees the cat.[(((triple2) -> rule5))] The mouse is kind.[(((triple10 triple15) -> rule2))] The mouse likes the cat.[(((triple7 triple11) -> rule3) OR ((((triple10 triple15) -> rule2)) -> rule1))]