The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear is round. If something is nice then it is kind. If something is kind and round then it is blue. If something is blue then it is nice.
The bear likes the bear.
@0: The bear is blue.[(triple1 OR ((triple2 triple5) -> rule2) OR ((((triple3) -> rule1) triple5) -> rule2))] The bear is kind.[(triple2 OR ((triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The bear is nice.[(triple3 OR ((triple1) -> rule3) OR ((((triple2 triple5) -> rule2)) -> rule3))] The bear is red.[(triple4)] The bear is round.[(triple5)]