The cat is kind. The cat is nice. The cat is red. The cat is round. The cat is young. If the cat is nice and the cat is round then the cat is young. If someone is young then they are kind. All kind, round people are young.
The cat is red.
@0: The cat is kind.[(triple1 OR ((triple5) -> rule2) OR ((((triple2 triple4) -> rule1)) -> rule2))] The cat is nice.[(triple2)] The cat is red.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5 OR ((triple1 triple4) -> rule3) OR ((triple2 triple4) -> rule1))]