The dog is blue. The dog is nice. The dog is red. The dog is round. The dog likes the mouse. The dog needs the mouse. The dog visits the mouse. The mouse is round. The mouse needs the dog. The mouse visits the dog. If someone is red then they need the mouse. If the mouse visits the dog then the mouse is round. If someone likes the dog then they are big. If the mouse likes the dog then the mouse is blue. If someone visits the dog then they like the dog. If someone visits the dog and they are round then the dog visits the mouse. If someone is red and they like the mouse then the mouse is blue. If someone visits the mouse then they visit the dog.
The mouse is red.
@0: The dog is blue.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog likes the mouse.[(triple5)] The dog needs the mouse.[(triple6 OR ((triple3) -> rule1))] The dog visits the mouse.[(triple7 OR ((triple10 triple8) -> rule6) OR ((triple10 ((triple10) -> rule2)) -> rule6))] The mouse is round.[(triple8 OR ((triple10) -> rule2))] The mouse needs the dog.[(triple9)] The mouse visits the dog.[(triple10)] @1: The dog visits the dog.[(((triple7) -> rule8) OR ((((triple10 triple8) -> rule6)) -> rule8) OR ((((triple10 ((triple10) -> rule2)) -> rule6)) -> rule8))] The mouse is blue.[(((triple3 triple5) -> rule7) OR ((((triple10) -> rule5)) -> rule4))] The mouse likes the dog.[(((triple10) -> rule5))] @2: The dog likes the dog.[(((((triple7) -> rule8)) -> rule5) OR ((((((triple10 triple8) -> rule6)) -> rule8)) -> rule5) OR ((((((triple10 ((triple10) -> rule2)) -> rule6)) -> rule8)) -> rule5))] The mouse is big.[(((((triple10) -> rule5)) -> rule3))] @3: The dog is big.[(((((((triple7) -> rule8)) -> rule5)) -> rule3) OR ((((((((triple10 triple8) -> rule6)) -> rule8)) -> rule5)) -> rule3) OR ((((((((triple10 ((triple10) -> rule2)) -> rule6)) -> rule8)) -> rule5)) -> rule3))]