The bear eats the rabbit. The bear is cold. The bear is young. The bear needs the rabbit. The bear needs the tiger. The dog chases the bear. The dog chases the rabbit. The dog is big. The dog needs the tiger. The rabbit is young. The rabbit needs the dog. The tiger chases the dog. If the bear is big then the bear needs the tiger. If something needs the tiger then it chases the tiger. If something chases the tiger and it needs the dog then the dog is blue. If something chases the bear then it eats the dog. If something chases the dog and the dog is big then the dog is young. If something is young then it chases the bear. If something chases the rabbit and the rabbit eats the dog then the dog is round. If something eats the dog and it is round then it is big. If something is round and it needs the tiger then the tiger is young.
The dog is round.
@0: The bear eats the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear is young.[(triple3)] The bear needs the rabbit.[(triple4)] The bear needs the tiger.[(triple5)] The dog chases the bear.[(triple6 OR ((((triple12 triple8) -> rule5)) -> rule6))] The dog chases the rabbit.[(triple7)] The dog is big.[(triple8 OR ((((triple6) -> rule4) ((triple7 ((((triple10) -> rule6)) -> rule4)) -> rule7)) -> rule8))] The dog needs the tiger.[(triple9)] The rabbit is young.[(triple10)] The rabbit needs the dog.[(triple11)] The tiger chases the dog.[(triple12)] @1: The bear chases the bear.[(((triple3) -> rule6))] The bear chases the tiger.[(((triple5) -> rule2))] The dog chases the tiger.[(((triple9) -> rule2))] The dog eats the dog.[(((triple6) -> rule4) OR ((((((triple12 triple8) -> rule5)) -> rule6)) -> rule4))] The dog is young.[(((triple12 triple8) -> rule5) OR ((triple12 ((((triple6) -> rule4) ((triple7 ((((triple10) -> rule6)) -> rule4)) -> rule7)) -> rule8)) -> rule5))] The rabbit chases the bear.[(((triple10) -> rule6))] @2: The bear eats the dog.[(((((triple3) -> rule6)) -> rule4))] The rabbit eats the dog.[(((((triple10) -> rule6)) -> rule4))] @3: The dog is round.[(((triple7 ((((triple10) -> rule6)) -> rule4)) -> rule7))] @4: The tiger is young.[(((((triple7 ((((triple10) -> rule6)) -> rule4)) -> rule7) triple9) -> rule9))] @5: The tiger chases the bear.[(((((((triple7 ((((triple10) -> rule6)) -> rule4)) -> rule7) triple9) -> rule9)) -> rule6))] @6: The tiger eats the dog.[(((((((((triple7 ((((triple10) -> rule6)) -> rule4)) -> rule7) triple9) -> rule9)) -> rule6)) -> rule4))]