The dog is blue. The dog is green. The dog is red. The dog is rough. The dog is round. If someone is round then they are red. If the dog is red then the dog is green. If the dog is red and the dog is blue then the dog is round. Red, blue people are round. If someone is rough and green then they are round. Blue, rough people are red.
The dog does not like the dog.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2 OR ((triple3) -> rule2) OR ((((triple5) -> rule1)) -> rule2) OR ((((triple1 triple4) -> rule6)) -> rule2))] The dog is red.[(triple3 OR ((triple5) -> rule1) OR ((triple1 triple4) -> rule6) OR ((((triple4 triple2) -> rule5)) -> rule1))] The dog is rough.[(triple4)] The dog is round.[(triple5 OR ((triple3 triple1) -> rule3) OR ((triple3 triple1) -> rule4) OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple3) -> rule2)) -> rule5) OR ((((triple1 triple4) -> rule6) triple1) -> rule3) OR ((((triple1 triple4) -> rule6) triple1) -> rule4) OR ((triple4 ((((triple1 triple4) -> rule6)) -> rule2)) -> rule5))]