The bear chases the rabbit. The bear is blue. The bear is green. The bear is nice. The bear is red. The bear is round. The bear likes the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is blue. The rabbit is green. The rabbit is nice. The rabbit is red. The rabbit likes the bear. The rabbit visits the bear. If the rabbit is nice and the rabbit likes the bear then the rabbit chases the bear. If something chases the rabbit then the rabbit chases the bear. If something chases the rabbit then it visits the bear. If something is nice and it chases the bear then the bear visits the rabbit. If something chases the rabbit and it is red then the rabbit is round. If something visits the rabbit and it visits the bear then the rabbit chases the bear. If something visits the bear then it chases the bear. If something chases the bear then it likes the bear.
The rabbit chases the bear.
@0: The bear chases the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear likes the rabbit.[(triple7)] The bear visits the rabbit.[(triple8 OR ((triple12 triple9) -> rule4) OR ((triple12 ((triple1) -> rule2)) -> rule4) OR ((triple12 ((triple15) -> rule7)) -> rule4) OR ((triple12 ((triple12 triple14) -> rule1)) -> rule4) OR ((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4))] The rabbit chases the bear.[(triple9 OR ((triple1) -> rule2) OR ((triple15) -> rule7) OR ((triple12 triple14) -> rule1) OR ((triple8 ((triple1) -> rule3)) -> rule6) OR ((((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4) ((triple1) -> rule3)) -> rule6))] The rabbit is blue.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit likes the bear.[(triple14 OR ((triple9) -> rule8) OR ((((triple1) -> rule2)) -> rule8) OR ((((triple15) -> rule7)) -> rule8) OR ((((triple8 ((triple1) -> rule3)) -> rule6)) -> rule8) OR ((((((triple4 ((((triple1) -> rule3)) -> rule7)) -> rule4) ((triple1) -> rule3)) -> rule6)) -> rule8))] The rabbit visits the bear.[(triple15)] @1: The bear visits the bear.[(((triple1) -> rule3))] The rabbit is round.[(((triple1 triple5) -> rule5))] @2: The bear chases the bear.[(((((triple1) -> rule3)) -> rule7))] @3: The bear likes the bear.[(((((((triple1) -> rule3)) -> rule7)) -> rule8))]