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