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