The cat is blue. The cat is kind. The cat is rough. The cat is round. The cat is young. If someone is young and blue then they are kind. All rough, kind people are young. Kind people are round. If someone is blue and kind then they are young. If someone is young and blue then they are round. If the cat is round and the cat is rough then the cat is young.
The cat does not need the cat.
@0: The cat is blue.[(triple1)] The cat is kind.[(triple2 OR ((triple5 triple1) -> rule1) OR ((((triple4 triple3) -> rule6) triple1) -> rule1))] The cat is rough.[(triple3)] The cat is round.[(triple4 OR ((triple2) -> rule3) OR ((triple5 triple1) -> rule5) OR ((((triple5 triple1) -> rule1)) -> rule3) OR ((((triple1 triple2) -> rule4) triple1) -> rule5) OR ((((triple3 triple2) -> rule2) triple1) -> rule5))] The cat is young.[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple3 triple2) -> rule2) OR ((triple4 triple3) -> rule6) OR ((((triple2) -> rule3) triple3) -> rule6))]