The mouse is big. The mouse is nice. The mouse is red. The mouse is round. The mouse is young. All big people are nice. If the mouse is nice and the mouse is young then the mouse is big. All red, young people are round. Young people are round. Round, red people are nice. Red people are big. If the mouse is nice then the mouse is round. If someone is big and red then they are nice.
The mouse visits the mouse.
@0: The mouse is big.[(triple1 OR ((triple3) -> rule6) OR ((triple2 triple5) -> rule2) OR ((((triple4 triple3) -> rule5) triple5) -> rule2) OR ((((((triple5) -> rule4) triple3) -> rule5) triple5) -> rule2) OR ((((((triple3 triple5) -> rule3) triple3) -> rule5) triple5) -> rule2))] The mouse is nice.[(triple2 OR ((triple1) -> rule1) OR ((triple1 triple3) -> rule8) OR ((triple4 triple3) -> rule5) OR ((((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule6) triple3) -> rule8) OR ((((triple5) -> rule4) triple3) -> rule5) OR ((((triple3 triple5) -> rule3) triple3) -> rule5))] The mouse is red.[(triple3)] The mouse is round.[(triple4 OR ((triple2) -> rule7) OR ((triple5) -> rule4) OR ((triple3 triple5) -> rule3) OR ((((triple1) -> rule1)) -> rule7) OR ((((triple1 triple3) -> rule8)) -> rule7) OR ((((((triple3) -> rule6)) -> rule1)) -> rule7) OR ((((((triple3) -> rule6) triple3) -> rule8)) -> rule7))] The mouse is young.[(triple5)]