The mouse is cold. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is young. If the mouse is cold then the mouse is rough. If the mouse is rough then the mouse is nice. If the mouse is cold and the mouse is rough then the mouse is nice. All nice things are rough. If something is kind then it is cold. All young things are cold. If something is kind and rough then it is cold. If something is rough and not kind then it is not young.
The mouse needs the mouse.
@0: The mouse is cold.[(triple1 OR ((triple2) -> rule5) OR ((triple5) -> rule6) OR ((triple2 triple4) -> rule7) OR ((triple2 ((triple3) -> rule4)) -> rule7))] The mouse is kind.[(triple2)] The mouse is nice.[(triple3 OR ((triple4) -> rule2) OR ((triple1 triple4) -> rule3) OR ((((triple1) -> rule1)) -> rule2) OR ((triple1 ((triple1) -> rule1)) -> rule3) OR ((((triple2) -> rule5) triple4) -> rule3) OR ((((triple5) -> rule6) triple4) -> rule3) OR ((((triple2 triple4) -> rule7) triple4) -> rule3) OR ((((triple2) -> rule5) ((triple1) -> rule1)) -> rule3) OR ((((triple5) -> rule6) ((triple1) -> rule1)) -> rule3) OR ((((triple2 triple4) -> rule7) ((triple1) -> rule1)) -> rule3) OR ((((((triple2) -> rule5)) -> rule1)) -> rule2) OR ((((((triple5) -> rule6)) -> rule1)) -> rule2) OR ((triple1 ((((triple2) -> rule5)) -> rule1)) -> rule3) OR ((triple1 ((((triple5) -> rule6)) -> rule1)) -> rule3) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule3) OR ((((triple2) -> rule5) ((((triple5) -> rule6)) -> rule1)) -> rule3) OR ((((triple5) -> rule6) ((((triple2) -> rule5)) -> rule1)) -> rule3) OR ((((triple5) -> rule6) ((((triple5) -> rule6)) -> rule1)) -> rule3) OR ((((triple2 triple4) -> rule7) ((((triple2) -> rule5)) -> rule1)) -> rule3) OR ((((triple2 triple4) -> rule7) ((((triple5) -> rule6)) -> rule1)) -> rule3))] The mouse is rough.[(triple4 OR ((triple1) -> rule1) OR ((triple3) -> rule4) OR ((((triple2) -> rule5)) -> rule1) OR ((((triple5) -> rule6)) -> rule1))] The mouse is young.[(triple5)]