The mouse is big. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. If the mouse is nice and the mouse is big then the mouse is green. If the mouse is big then the mouse is green. If something is green and nice then it is red. If the mouse is green and the mouse is red then the mouse is young. If something is green then it is young. If something is nice and not green then it is young.
The mouse does not chase the mouse.
@0: The mouse is big.[(triple1)] The mouse is green.[(triple2 OR ((triple1) -> rule2) OR ((triple3 triple1) -> rule1))] The mouse is nice.[(triple3)] The mouse is red.[(triple4 OR ((triple2 triple3) -> rule3) OR ((((triple1) -> rule2) triple3) -> rule3) OR ((((triple3 triple1) -> rule1) triple3) -> rule3))] The mouse is young.[(triple5 OR ((triple2) -> rule5) OR ((triple2 triple4) -> rule4) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple3 triple1) -> rule1)) -> rule5) OR ((triple2 ((triple2 triple3) -> rule3)) -> rule4) OR ((((triple1) -> rule2) triple4) -> rule4) OR ((((triple3 triple1) -> rule1) triple4) -> rule4) OR ((((triple1) -> rule2) ((triple2 triple3) -> rule3)) -> rule4) OR ((((triple3 triple1) -> rule1) ((triple2 triple3) -> rule3)) -> rule4) OR ((triple2 ((((triple1) -> rule2) triple3) -> rule3)) -> rule4) OR ((triple2 ((((triple3 triple1) -> rule1) triple3) -> rule3)) -> rule4) OR ((((triple1) -> rule2) ((((triple1) -> rule2) triple3) -> rule3)) -> rule4) OR ((((triple1) -> rule2) ((((triple3 triple1) -> rule1) triple3) -> rule3)) -> rule4) OR ((((triple3 triple1) -> rule1) ((((triple1) -> rule2) triple3) -> rule3)) -> rule4) OR ((((triple3 triple1) -> rule1) ((((triple3 triple1) -> rule1) triple3) -> rule3)) -> rule4))]