The mouse is cold. The mouse is green. The mouse is not kind. The mouse is nice. The mouse is rough. If someone is green then they are cold. All cold people are not kind. If the mouse is kind then the mouse is cold. If someone is nice and green then they are rough. If someone is cold and not kind then they are rough. All cold people are rough.
The mouse is cold.
@0: The mouse is cold.[(triple1 OR ((triple2) -> rule1))] The mouse is green.[(triple2)] The mouse is nice.[(triple4)] The mouse is not kind.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] The mouse is rough.[(triple5 OR ((triple1) -> rule6) OR ((triple1 triple3) -> rule5) OR ((triple4 triple2) -> rule4) OR ((((triple2) -> rule1)) -> rule6) OR ((triple1 ((triple1) -> rule2)) -> rule5) OR ((((triple2) -> rule1) triple3) -> rule5) OR ((((triple2) -> rule1) ((triple1) -> rule2)) -> rule5) OR ((triple1 ((((triple2) -> rule1)) -> rule2)) -> rule5) OR ((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule2)) -> rule5))]