The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. The mouse is young. Red, young people are kind. All cold people are kind. If someone is nice and young then they are red. Cold, kind people are nice. Kind, cold people are young. If the mouse is red and the mouse is nice then the mouse is young.
The mouse is young.
@0: The mouse is cold.[(triple1)] The mouse is kind.[(triple2 OR ((triple1) -> rule2) OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple4 triple3) -> rule6)) -> rule1) OR ((((triple3 triple5) -> rule3) triple5) -> rule1) OR ((((triple3 triple5) -> rule3) ((triple4 triple3) -> rule6)) -> rule1))] The mouse is nice.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple1) -> rule2)) -> rule4) OR ((triple1 ((triple4 triple5) -> rule1)) -> rule4))] The mouse is red.[(triple4 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple2 triple1) -> rule5)) -> rule3) OR ((((triple1 triple2) -> rule4) triple5) -> rule3) OR ((((triple1 triple2) -> rule4) ((triple2 triple1) -> rule5)) -> rule3) OR ((triple3 ((((triple1) -> rule2) triple1) -> rule5)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule4) triple5) -> rule3) OR ((((triple1 triple2) -> rule4) ((((triple1) -> rule2) triple1) -> rule5)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((triple2 triple1) -> rule5)) -> rule3) OR ((((triple1 ((triple1) -> rule2)) -> rule4) ((((triple1) -> rule2) triple1) -> rule5)) -> rule3))] The mouse is young.[(triple5 OR ((triple2 triple1) -> rule5) OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple1 triple2) -> rule4)) -> rule6) OR ((((triple1) -> rule2) triple1) -> rule5) OR ((triple4 ((triple1 ((triple1) -> rule2)) -> rule4)) -> rule6))]