The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is nice. The dog is round. The dog sees the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit sees the dog. If someone is big then they chase the dog. If someone chases the dog and the dog sees the rabbit then they are kind. If someone is red and they see the rabbit then the rabbit sees the dog. If the dog is red then the dog eats the rabbit. If someone is kind and they see the rabbit then they are red. If the rabbit sees the dog then the dog chases the rabbit.
The dog chases the dog.
@0: The dog chases the rabbit.[(triple1 OR ((triple12) -> rule6) OR ((((((((((triple3) -> rule1) triple6) -> rule2) triple6) -> rule5) triple6) -> rule3)) -> rule6))] The dog eats the rabbit.[(triple2 OR ((((((((triple3) -> rule1) triple6) -> rule2) triple6) -> rule5)) -> rule4))] The dog is big.[(triple3)] The dog is nice.[(triple4)] The dog is round.[(triple5)] The dog sees the rabbit.[(triple6)] The rabbit chases the dog.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is kind.[(triple9 OR ((triple7 triple6) -> rule2))] The rabbit is nice.[(triple10)] The rabbit is red.[(triple11)] The rabbit sees the dog.[(triple12 OR ((((((((triple3) -> rule1) triple6) -> rule2) triple6) -> rule5) triple6) -> rule3))] @1: The dog chases the dog.[(((triple3) -> rule1))] @2: The dog is kind.[(((((triple3) -> rule1) triple6) -> rule2))] @3: The dog is red.[(((((((triple3) -> rule1) triple6) -> rule2) triple6) -> rule5))]