The bear is blue. The bear is cold. The bear is rough. The bear is round. The bear needs the tiger. The bear sees the tiger. The bear visits the tiger. The tiger is blue. The tiger is cold. The tiger is kind. The tiger is rough. The tiger is round. The tiger needs the bear. The tiger sees the bear. The tiger visits the bear. If something visits the bear and it sees the bear then it is blue. If something is rough then it sees the tiger. If something needs the bear and the bear visits the tiger then it sees the bear. If something sees the tiger then the tiger visits the bear. If something sees the bear then the bear needs the tiger. If something sees the tiger then it visits the tiger.
The bear is kind.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear needs the tiger.[(triple5 OR ((triple14) -> rule5) OR ((((triple13 triple7) -> rule3)) -> rule5) OR ((((triple13 ((triple6) -> rule6)) -> rule3)) -> rule5) OR ((((triple13 ((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule5))] The bear sees the tiger.[(triple6 OR ((triple3) -> rule2))] The bear visits the tiger.[(triple7 OR ((triple6) -> rule6) OR ((((triple3) -> rule2)) -> rule6))] The tiger is blue.[(triple8 OR ((triple15 triple14) -> rule1) OR ((triple15 ((triple13 triple7) -> rule3)) -> rule1) OR ((((triple6) -> rule4) triple14) -> rule1) OR ((((triple6) -> rule4) ((triple13 triple7) -> rule3)) -> rule1) OR ((triple15 ((triple13 ((triple6) -> rule6)) -> rule3)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) triple14) -> rule1) OR ((((((triple3) -> rule2)) -> rule4) triple14) -> rule1) OR ((((triple6) -> rule4) ((triple13 ((triple6) -> rule6)) -> rule3)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((triple13 triple7) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4) ((triple13 triple7) -> rule3)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((triple13 ((triple6) -> rule6)) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4) ((triple13 ((triple6) -> rule6)) -> rule3)) -> rule1) OR ((triple15 ((triple13 ((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1) OR ((((triple6) -> rule4) ((triple13 ((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1) OR ((((((triple11) -> rule2)) -> rule4) ((triple13 ((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1) OR ((((((triple3) -> rule2)) -> rule4) ((triple13 ((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1))] The tiger is cold.[(triple9)] The tiger is kind.[(triple10)] The tiger is rough.[(triple11)] The tiger is round.[(triple12)] The tiger needs the bear.[(triple13)] The tiger sees the bear.[(triple14 OR ((triple13 triple7) -> rule3) OR ((triple13 ((triple6) -> rule6)) -> rule3) OR ((triple13 ((((triple3) -> rule2)) -> rule6)) -> rule3))] The tiger visits the bear.[(triple15 OR ((triple6) -> rule4) OR ((((triple11) -> rule2)) -> rule4) OR ((((triple3) -> rule2)) -> rule4))] @1: The tiger sees the tiger.[(((triple11) -> rule2))] @2: The tiger visits the tiger.[(((((triple11) -> rule2)) -> rule6))]