The dog chases the lion. The dog is green. The dog is nice. The dog is red. The dog is rough. The dog is round. The dog likes the lion. The dog sees the lion. The lion chases the dog. The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is round. The lion likes the dog. The lion sees the dog. If something is rough and it sees the dog then it is green. All red things are nice. If something is red then it is round. If the dog is round and the dog is rough then the dog is red. If something is nice then it likes the lion. If something sees the lion and it chases the dog then it chases the lion.
The lion is red.
@0: The dog chases the lion.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3 OR ((triple4) -> rule2) OR ((((triple6 triple5) -> rule4)) -> rule2))] The dog is red.[(triple4 OR ((triple6 triple5) -> rule4))] The dog is rough.[(triple5)] The dog is round.[(triple6 OR ((triple4) -> rule3))] The dog likes the lion.[(triple7 OR ((triple3) -> rule5) OR ((((triple4) -> rule2)) -> rule5) OR ((((((triple6 triple5) -> rule4)) -> rule2)) -> rule5))] The dog sees the lion.[(triple8)] The lion chases the dog.[(triple9)] The lion is green.[(triple10 OR ((triple13 triple16) -> rule1))] The lion is nice.[(triple11 OR ((triple12) -> rule2))] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion is round.[(triple14 OR ((triple12) -> rule3))] The lion likes the dog.[(triple15)] The lion sees the dog.[(triple16)] @1: The lion likes the lion.[(((triple11) -> rule5) OR ((((triple12) -> rule2)) -> rule5))]