The dog is big. The dog is blue. The dog is not kind. The dog is red. The dog is round. All kind, round things are big. All kind things are big. If something is kind then it is red. All kind things are red. Round, kind things are red. All big things are round. If the dog is big then the dog is blue. If something is red and not round then it is blue.
The dog is big.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple1) -> rule7))] The dog is not kind.[(triple3)] The dog is red.[(triple4)] The dog is round.[(triple5 OR ((triple1) -> rule6))]