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