The bear eats the rabbit. The bear is blue. The bear is not rough. The bear likes the dog. The bear likes the rabbit. The bear sees the dog. The bear sees the rabbit. The dog eats the bear. The dog eats the rabbit. The dog is big. The rabbit eats the dog. The rabbit is big. The rabbit is not kind. The rabbit likes the bear. The rabbit does not like the dog. The rabbit does not see the bear. If the rabbit eats the bear then the rabbit sees the dog. If the dog eats the bear then the bear is blue. If something is rough then it sees the rabbit. If the bear eats the rabbit then the rabbit is not kind. If something sees the rabbit then it is young. If something likes the dog then the dog is rough. If something likes the bear then it is not rough. If the bear sees the dog then the bear sees the rabbit.
The dog is young.
@0: The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2 OR ((triple8) -> rule2))] The bear is not rough.[(triple3)] The bear likes the dog.[(triple4)] The bear likes the rabbit.[(triple5)] The bear sees the dog.[(triple6)] The bear sees the rabbit.[(triple7 OR ((triple6) -> rule8))] The dog eats the bear.[(triple8)] The dog eats the rabbit.[(triple9)] The dog is big.[(triple10)] The rabbit does not like the dog.[(triple15)] The rabbit does not see the bear.[(triple16)] The rabbit eats the dog.[(triple11)] The rabbit is big.[(triple12)] The rabbit is not kind.[(triple13 OR ((triple1) -> rule4))] The rabbit likes the bear.[(triple14)] @1: The bear is young.[(((triple7) -> rule5) OR ((((triple6) -> rule8)) -> rule5))] The dog is rough.[(((triple4) -> rule6))] The rabbit is not rough.[(((triple14) -> rule7))] @2: The dog sees the rabbit.[(((((triple4) -> rule6)) -> rule3))] @3: The dog is young.[(((((((triple4) -> rule6)) -> rule3)) -> rule5))]