The cow likes the lion. The cow sees the dog. The dog is big. The dog is cold. The dog likes the lion. The lion is nice. The lion is rough. The lion does not need the dog. The rabbit is cold. The rabbit needs the cow. The rabbit needs the lion. The rabbit sees the dog. If someone likes the cow then they are big. If someone needs the lion then the lion needs the cow. If someone likes the lion then they like the rabbit. If someone sees the cow and they are not big then they do not like the lion. If someone is green then they see the rabbit. If someone is green and they like the cow then the cow needs the rabbit. If someone sees the rabbit then the rabbit likes the lion. If someone likes the lion and they do not see the dog then they need the lion. If someone likes the lion and they like the rabbit then the lion is green.
The dog is nice.
@0: The cow likes the lion.[(triple1)] The cow sees the dog.[(triple2)] The dog is big.[(triple3)] The dog is cold.[(triple4)] The dog likes the lion.[(triple5)] The lion does not need the dog.[(triple8)] The lion is nice.[(triple6)] The lion is rough.[(triple7)] The rabbit is cold.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit needs the lion.[(triple11)] The rabbit sees the dog.[(triple12)] @1: The cow likes the rabbit.[(((triple1) -> rule3))] The dog likes the rabbit.[(((triple5) -> rule3))] The lion needs the cow.[(((triple11) -> rule2))] @2: The lion is green.[(((triple1 ((triple1) -> rule3)) -> rule9) OR ((triple5 ((triple5) -> rule3)) -> rule9))] @3: The lion sees the rabbit.[(((((triple1 ((triple1) -> rule3)) -> rule9)) -> rule5) OR ((((triple5 ((triple5) -> rule3)) -> rule9)) -> rule5))] @4: The rabbit likes the lion.[(((((((triple1 ((triple1) -> rule3)) -> rule9)) -> rule5)) -> rule7) OR ((((((triple5 ((triple5) -> rule3)) -> rule9)) -> rule5)) -> rule7))] @5: The rabbit likes the rabbit.[(((((((((triple1 ((triple1) -> rule3)) -> rule9)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple5 ((triple5) -> rule3)) -> rule9)) -> rule5)) -> rule7)) -> rule3))]