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