The dog is blue. The dog is cold. The dog is kind. The dog is rough. The dog is round. All round, blue things are rough. If the dog is rough and the dog is blue then the dog is kind. If something is rough then it is round. If the dog is kind and the dog is blue then the dog is round. If something is blue then it is rough. Kind, cold things are blue.
The dog does not chase the dog.
@0: The dog is blue.[(triple1 OR ((triple3 triple2) -> rule6))] The dog is cold.[(triple2)] The dog is kind.[(triple3 OR ((triple4 triple1) -> rule2) OR ((((triple1) -> rule5) triple1) -> rule2) OR ((((triple5 triple1) -> rule1) triple1) -> rule2))] The dog is rough.[(triple4 OR ((triple1) -> rule5) OR ((triple5 triple1) -> rule1) OR ((((triple3 triple2) -> rule6)) -> rule5) OR ((triple5 ((triple3 triple2) -> rule6)) -> rule1) OR ((((triple3 triple1) -> rule4) triple1) -> rule1) OR ((((triple3 triple1) -> rule4) ((triple3 triple2) -> rule6)) -> rule1) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule4) triple1) -> rule1) OR ((((triple3 ((triple3 triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule6)) -> rule1))] The dog is round.[(triple5 OR ((triple4) -> rule3) OR ((triple3 triple1) -> rule4) OR ((((triple1) -> rule5)) -> rule3) OR ((triple3 ((triple3 triple2) -> rule6)) -> rule4) OR ((((triple4 triple1) -> rule2) triple1) -> rule4) OR ((((triple4 triple1) -> rule2) ((triple3 triple2) -> rule6)) -> rule4) OR ((((((triple3 triple2) -> rule6)) -> rule5)) -> rule3) OR ((((((triple1) -> rule5) triple1) -> rule2) triple1) -> rule4) OR ((((((triple1) -> rule5) triple1) -> rule2) ((triple3 triple2) -> rule6)) -> rule4))]