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