The bear is nice. The bear is red. The bear likes the tiger. The bear sees the tiger. The bear visits the tiger. The tiger is kind. The tiger is red. The tiger likes the bear. The tiger sees the bear. The tiger visits the bear. If the bear is kind then the bear is cold. If someone is cold then they like the bear. If someone visits the bear and the bear sees the tiger then the bear likes the tiger. If the bear sees the tiger and the bear visits the tiger then the bear is kind. If someone visits the tiger then they like the tiger. If the bear visits the tiger then the bear sees the tiger. If someone sees the bear then they are nice. If someone likes the bear and they are not nice then they are not red.
The bear is nice.
@0: The bear is nice.[(triple1)] The bear is red.[(triple2)] The bear likes the tiger.[(triple3 OR ((triple5) -> rule5) OR ((triple10 triple4) -> rule3) OR ((triple10 ((triple5) -> rule6)) -> rule3))] The bear sees the tiger.[(triple4 OR ((triple5) -> rule6))] The bear visits the tiger.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] The tiger likes the bear.[(triple8)] The tiger sees the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear is kind.[(((triple4 triple5) -> rule4) OR ((((triple5) -> rule6) triple5) -> rule4))] The tiger is nice.[(((triple9) -> rule7))] @2: The bear is cold.[(((((triple4 triple5) -> rule4)) -> rule1) OR ((((((triple5) -> rule6) triple5) -> rule4)) -> rule1))] @3: The bear likes the bear.[(((((((triple4 triple5) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple5) -> rule6) triple5) -> rule4)) -> rule1)) -> rule2))]