The bear chases the cat. The bear chases the lion. The bear is rough. The bear likes the lion. The bear needs the cat. The cat chases the bear. The cat chases the lion. The cat is cold. The cat is kind. The cat is nice. The cat likes the lion. The cat needs the bear. The cat needs the lion. The lion is cold. The lion is nice. If someone is rough then they chase the cat. If the cat is kind and the cat likes the bear then the cat likes the lion. If the bear is rough and the bear chases the lion then the lion likes the bear. If someone likes the cat and the cat is cold then the cat likes the bear. If someone is nice then they need the bear. If someone is rough then they chase the cat. If someone needs the lion then they are rough. If someone is nice then they need the lion.
The lion is nice.
@0: The bear chases the cat.[(triple1 OR ((triple3) -> rule1) OR ((triple3) -> rule6))] The bear chases the lion.[(triple2)] The bear is rough.[(triple3)] The bear likes the lion.[(triple4)] The bear needs the cat.[(triple5)] The cat chases the bear.[(triple6)] The cat chases the lion.[(triple7)] The cat is cold.[(triple8)] The cat is kind.[(triple9)] The cat is nice.[(triple10)] The cat likes the lion.[(triple11)] The cat needs the bear.[(triple12 OR ((triple10) -> rule5))] The cat needs the lion.[(triple13 OR ((triple10) -> rule8))] The lion is cold.[(triple14)] The lion is nice.[(triple15)] @1: The cat is rough.[(((triple13) -> rule7) OR ((((triple10) -> rule8)) -> rule7))] The lion likes the bear.[(((triple3 triple2) -> rule3))] The lion needs the bear.[(((triple15) -> rule5))] The lion needs the lion.[(((triple15) -> rule8))] @2: The cat chases the cat.[(((((triple13) -> rule7)) -> rule1) OR ((((triple13) -> rule7)) -> rule6) OR ((((((triple10) -> rule8)) -> rule7)) -> rule1) OR ((((((triple10) -> rule8)) -> rule7)) -> rule6))] The lion is rough.[(((((triple15) -> rule8)) -> rule7))] @3: The lion chases the cat.[(((((((triple15) -> rule8)) -> rule7)) -> rule1) OR ((((((triple15) -> rule8)) -> rule7)) -> rule6))]