The dog chases the rabbit. The dog is big. The dog sees the rabbit. The dog visits the rabbit. The rabbit is young. The rabbit sees the dog. The rabbit visits the dog. If the rabbit sees the dog and the rabbit chases the dog then the dog visits the rabbit. If something visits the dog and the dog visits the rabbit then it chases the dog. If something chases the dog and it is young then the dog chases the rabbit. If something is big then it visits the dog. All green, young things are round. If something visits the dog and it chases the dog then the dog chases the rabbit. If something is young and it sees the dog then the dog is kind. If something chases the dog and the dog chases the rabbit then the dog sees the rabbit.
The rabbit is young.
@0: The dog chases the rabbit.[(triple1 OR ((triple7 ((triple7 triple4) -> rule2)) -> rule6) OR ((((triple7 triple4) -> rule2) triple5) -> rule3) OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule2)) -> rule6))] The dog is big.[(triple2)] The dog sees the rabbit.[(triple3 OR ((((triple7 triple4) -> rule2) triple1) -> rule8) OR ((((((triple2) -> rule4) triple4) -> rule2) triple1) -> rule8) OR ((((triple7 triple4) -> rule2) ((triple7 ((triple7 triple4) -> rule2)) -> rule6)) -> rule8) OR ((((triple7 triple4) -> rule2) ((((triple7 triple4) -> rule2) triple5) -> rule3)) -> rule8) OR ((((((triple2) -> rule4) triple4) -> rule2) ((triple7 ((triple7 triple4) -> rule2)) -> rule6)) -> rule8) OR ((((((triple2) -> rule4) triple4) -> rule2) ((((triple7 triple4) -> rule2) triple5) -> rule3)) -> rule8) OR ((((triple7 triple4) -> rule2) ((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule2)) -> rule6)) -> rule8) OR ((((((triple2) -> rule4) triple4) -> rule2) ((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule2)) -> rule6)) -> rule8))] The dog visits the rabbit.[(triple4)] The rabbit is young.[(triple5)] The rabbit sees the dog.[(triple6)] The rabbit visits the dog.[(triple7)] @1: The dog is kind.[(((triple5 triple6) -> rule7))] The dog visits the dog.[(((triple2) -> rule4))] The rabbit chases the dog.[(((triple7 triple4) -> rule2))] @2: The dog chases the dog.[(((((triple2) -> rule4) triple4) -> rule2))]