The mouse is blue. The mouse is green. The mouse is red. The mouse is round. The mouse is young. Red people are young. All round people are young. If someone is blue then they are green. If the mouse is red then the mouse is blue. If someone is round and young then they are blue. If someone is green and blue then they are red.
The mouse is red.
@0: The mouse is blue.[(triple1 OR ((triple3) -> rule4) OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple3) -> rule1)) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule5))] The mouse is green.[(triple2 OR ((triple1) -> rule3) OR ((((triple3) -> rule4)) -> rule3) OR ((((triple4 triple5) -> rule5)) -> rule3) OR ((((triple4 ((triple3) -> rule1)) -> rule5)) -> rule3) OR ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule3))] The mouse is red.[(triple3 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple4 triple5) -> rule5)) -> rule6) OR ((((triple1) -> rule3) triple1) -> rule6) OR ((((triple1) -> rule3) ((triple4 triple5) -> rule5)) -> rule6) OR ((triple2 ((triple4 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4 triple5) -> rule5)) -> rule3) triple1) -> rule6) OR ((((triple1) -> rule3) ((triple4 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4 triple5) -> rule5)) -> rule3) ((triple4 triple5) -> rule5)) -> rule6) OR ((((((triple4 triple5) -> rule5)) -> rule3) ((triple4 ((triple4) -> rule2)) -> rule5)) -> rule6) OR ((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule3) triple1) -> rule6) OR ((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule3) ((triple4 triple5) -> rule5)) -> rule6) OR ((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule3) ((triple4 ((triple4) -> rule2)) -> rule5)) -> rule6))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple3) -> rule1) OR ((triple4) -> rule2) OR ((((triple2 triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule3) triple1) -> rule6)) -> rule1))]