The mouse is cold. The mouse is green. The mouse is not nice. The mouse is red. The mouse is young. All young people are cold. If someone is young and not cold then they are not nice.
The mouse is not green.
@0: The mouse is cold.[(triple1 OR ((triple5) -> rule1))] The mouse is green.[(triple2)] The mouse is not nice.[(triple3)] The mouse is red.[(triple4)] The mouse is young.[(triple5)]