The cat is blue. The cat is nice. The cat is red. The cat is rough. The cat is round. All rough, blue people are round. Red people are rough. All rough, round people are nice.
The cat does not eat the cat.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple4 triple1) -> rule1)) -> rule3) OR ((((triple3) -> rule2) triple5) -> rule3) OR ((((triple3) -> rule2) ((triple4 triple1) -> rule1)) -> rule3) OR ((triple4 ((((triple3) -> rule2) triple1) -> rule1)) -> rule3) OR ((((triple3) -> rule2) ((((triple3) -> rule2) triple1) -> rule1)) -> rule3))] The cat is red.[(triple3)] The cat is rough.[(triple4 OR ((triple3) -> rule2))] The cat is round.[(triple5 OR ((triple4 triple1) -> rule1) OR ((((triple3) -> rule2) triple1) -> rule1))]