The dog is big. The dog is blue. The dog is nice. The dog is red. The dog is not round. If someone is blue and not big then they are red. If someone is blue and not big then they are red. If the dog is round then the dog is not red. If the dog is big then the dog is red. If someone is red then they are nice. If someone is blue then they are nice. If the dog is red then the dog is blue. Nice people are blue.
The dog is red.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple3) -> rule8) OR ((triple4) -> rule7) OR ((((triple1) -> rule4)) -> rule7) OR ((((triple4) -> rule5)) -> rule8) OR ((((((triple1) -> rule4)) -> rule5)) -> rule8))] The dog is nice.[(triple3 OR ((triple2) -> rule6) OR ((triple4) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple4) -> rule7)) -> rule6) OR ((((((triple1) -> rule4)) -> rule7)) -> rule6))] The dog is not round.[(triple5)] The dog is red.[(triple4 OR ((triple1) -> rule4))]