The mouse is big. The mouse is blue. The mouse is nice. The mouse is red. The mouse is young. If the mouse is nice then the mouse is blue. If something is blue then it is big. If the mouse is blue then the mouse is red.
The mouse is blue.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The mouse is blue.[(triple2 OR ((triple3) -> rule1))] The mouse is nice.[(triple3)] The mouse is red.[(triple4 OR ((triple2) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The mouse is young.[(triple5)]