The cat chases the mouse. The cat is big. The cat is cold. The cat is green. The cat is kind. The cat is nice. The cat sees the mouse. The cat visits the mouse. The mouse chases the cat. The mouse is big. The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse sees the cat. The mouse visits the cat. All big people are cold. If someone is big and cold then they are nice. If someone chases the mouse and they are green then the mouse visits the cat.
The mouse is cold.
@0: The cat chases the mouse.[(triple1)] The cat is big.[(triple2)] The cat is cold.[(triple3 OR ((triple2) -> rule1))] The cat is green.[(triple4)] The cat is kind.[(triple5)] The cat is nice.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2))] The cat sees the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11 OR ((triple10) -> rule1))] The mouse is green.[(triple12)] The mouse is kind.[(triple13)] The mouse is nice.[(triple14 OR ((triple10 triple11) -> rule2) OR ((triple10 ((triple10) -> rule1)) -> rule2))] The mouse sees the cat.[(triple15)] The mouse visits the cat.[(triple16 OR ((triple1 triple4) -> rule3))]