The mouse is blue. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. If the mouse is blue then the mouse is nice. If someone is blue then they are red. All blue, young people are red. Nice, young people are red. Red people are green. If someone is nice and young then they are green. Green people are blue. If someone is blue then they are red.
The mouse does not eat the mouse.
@0: The mouse is blue.[(triple1 OR ((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7) OR ((((triple3 triple5) -> rule6)) -> rule7) OR ((((((triple3 triple5) -> rule4)) -> rule5)) -> rule7))] The mouse is green.[(triple2 OR ((triple4) -> rule5) OR ((triple3 triple5) -> rule6) OR ((((triple1) -> rule2)) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((triple1 triple5) -> rule3)) -> rule5) OR ((((triple3 triple5) -> rule4)) -> rule5) OR ((((triple1) -> rule1) triple5) -> rule6) OR ((((((triple1) -> rule1) triple5) -> rule4)) -> rule5))] The mouse is nice.[(triple3 OR ((triple1) -> rule1) OR ((((triple2) -> rule7)) -> rule1) OR ((((((triple4) -> rule5)) -> rule7)) -> rule1))] The mouse is red.[(triple4 OR ((triple1) -> rule2) OR ((triple1) -> rule8) OR ((triple1 triple5) -> rule3) OR ((triple3 triple5) -> rule4) OR ((((triple2) -> rule7)) -> rule2) OR ((((triple2) -> rule7)) -> rule8) OR ((((triple1) -> rule1) triple5) -> rule4) OR ((((triple2) -> rule7) triple5) -> rule3) OR ((((((triple3 triple5) -> rule6)) -> rule7)) -> rule2) OR ((((((triple3 triple5) -> rule6)) -> rule7)) -> rule8) OR ((((((triple2) -> rule7)) -> rule1) triple5) -> rule4) OR ((((((triple3 triple5) -> rule6)) -> rule7) triple5) -> rule3))] The mouse is young.[(triple5)]