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