The dog is big. The dog is blue. The dog is nice. The dog is red. The dog is round. All big, round people are red. If someone is nice and red then they are blue. If the dog is big and the dog is blue then the dog is round. If someone is blue then they are nice. If someone is round then they are nice. If the dog is nice then the dog is red.
The dog needs the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2) OR ((triple3 ((triple1 triple5) -> rule1)) -> rule2) OR ((((triple5) -> rule5) triple4) -> rule2) OR ((((triple5) -> rule5) ((triple3) -> rule6)) -> rule2) OR ((((triple5) -> rule5) ((triple1 triple5) -> rule1)) -> rule2) OR ((triple3 ((((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule6)) -> rule2))] The dog is nice.[(triple3 OR ((triple2) -> rule4) OR ((triple5) -> rule5) OR ((((triple1 triple2) -> rule3)) -> rule5))] The dog is red.[(triple4 OR ((triple3) -> rule6) OR ((triple1 triple5) -> rule1) OR ((((triple2) -> rule4)) -> rule6) OR ((((triple5) -> rule5)) -> rule6) OR ((triple1 ((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple1 triple2) -> rule3)) -> rule5)) -> rule6))] The dog is round.[(triple5 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple3 triple4) -> rule2)) -> rule3) OR ((triple1 ((triple3 ((triple3) -> rule6)) -> rule2)) -> rule3))]