The dog is big. The dog is blue. The dog is red. The dog likes the rabbit. The dog needs the rabbit. The rabbit is blue. The rabbit likes the dog. If something is red and it needs the rabbit then the rabbit is big. If something needs the rabbit then the rabbit is big. If the dog needs the rabbit then the rabbit is green. If something visits the rabbit and it needs the dog then it needs the rabbit. If something is red then it is big. If something likes the dog and it visits the rabbit then the dog is red.
The rabbit likes the rabbit.
@0: The dog is big.[(triple1 OR ((triple3) -> rule5))] The dog is blue.[(triple2)] The dog is red.[(triple3)] The dog likes the rabbit.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit likes the dog.[(triple7)] @1: The rabbit is big.[(((triple5) -> rule2) OR ((triple3 triple5) -> rule1))] The rabbit is green.[(((triple5) -> rule3))]