The mouse is big. The mouse is blue. The mouse is green. The mouse is nice. The mouse is red. All nice, big things are blue. All nice things are big. If the mouse is blue then the mouse is big. If the mouse is red and the mouse is big then the mouse is blue. If the mouse is big then the mouse is blue. If something is nice then it is big.
The mouse is not green.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule3) OR ((triple4) -> rule2) OR ((triple4) -> rule6))] The mouse is blue.[(triple2 OR ((triple1) -> rule5) OR ((triple4 triple1) -> rule1) OR ((triple5 triple1) -> rule4) OR ((((triple4) -> rule2)) -> rule5) OR ((((triple4) -> rule6)) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1) OR ((triple5 ((triple4) -> rule2)) -> rule4) OR ((triple5 ((triple4) -> rule6)) -> rule4))] The mouse is green.[(triple3)] The mouse is nice.[(triple4)] The mouse is red.[(triple5)]