The mouse is blue. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. Rough people are cold. If the mouse is round and the mouse is rough then the mouse is cold. All cold, blue people are rough. All rough people are kind. If someone is cold then they are rough. All rough, blue people are round. Cold people are rough. Cold people are kind.
The mouse is rough.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2 OR ((triple4) -> rule1) OR ((triple5 triple4) -> rule2) OR ((((triple4 triple1) -> rule6) triple4) -> rule2))] The mouse is kind.[(triple3 OR ((triple2) -> rule8) OR ((triple4) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule7)) -> rule4) OR ((((triple4) -> rule1)) -> rule8) OR ((((triple2 triple1) -> rule3)) -> rule4) OR ((((triple5 triple4) -> rule2)) -> rule8) OR ((((((triple4 triple1) -> rule6) triple4) -> rule2)) -> rule8))] The mouse is rough.[(triple4 OR ((triple2) -> rule5) OR ((triple2) -> rule7) OR ((triple2 triple1) -> rule3))] The mouse is round.[(triple5 OR ((triple4 triple1) -> rule6) OR ((((triple2) -> rule5) triple1) -> rule6) OR ((((triple2) -> rule7) triple1) -> rule6) OR ((((triple2 triple1) -> rule3) triple1) -> rule6))]