The dog is big. The dog is not nice. The dog is red. The dog is rough. The dog is young. If something is big and nice then it is red. If something is young and rough then it is red. If the dog is big then the dog is red. Big, rough things are young. If something is red and nice then it is big. If something is red then it is not nice.
The dog visits the dog.
@0: The dog is big.[(triple1)] The dog is not nice.[(triple2 OR ((triple3) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple5 triple4) -> rule2)) -> rule6) OR ((((((triple1 triple4) -> rule4) triple4) -> rule2)) -> rule6))] The dog is red.[(triple3 OR ((triple1) -> rule3) OR ((triple5 triple4) -> rule2) OR ((((triple1 triple4) -> rule4) triple4) -> rule2))] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple1 triple4) -> rule4))]