The dog is kind. The dog is nice. The dog is round. Round things are blue. If the dog is blue and the dog is round then the dog is green. Green, round things are kind. If the dog is kind and the dog is blue then the dog is green. All blue, kind things are round. If something is blue and green then it is nice. If something is nice then it is green. If the dog is nice then the dog is round.
The dog is kind.
@0: The dog is kind.[(triple1 OR ((((triple2) -> rule7) triple3) -> rule3) OR ((((triple2) -> rule7) ((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule1) triple3) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule1) triple3) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((triple3) -> rule1) ((triple2) -> rule8)) -> rule2) triple3) -> rule3) OR ((((((triple3) -> rule1) ((triple2) -> rule8)) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule1) triple3) -> rule2) triple3) -> rule3) OR ((((((((triple2) -> rule8)) -> rule1) triple3) -> rule2) ((triple2) -> rule8)) -> rule3) OR ((((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule2) triple3) -> rule3) OR ((((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule2) ((triple2) -> rule8)) -> rule3))] The dog is nice.[(triple2 OR ((((triple3) -> rule1) ((triple1 ((triple3) -> rule1)) -> rule4)) -> rule6) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple3) -> rule2)) -> rule6))] The dog is round.[(triple3 OR ((triple2) -> rule8))] @1: The dog is blue.[(((triple3) -> rule1) OR ((((triple2) -> rule8)) -> rule1))] The dog is green.[(((triple2) -> rule7) OR ((triple1 ((triple3) -> rule1)) -> rule4) OR ((((triple3) -> rule1) triple3) -> rule2) OR ((((triple3) -> rule1) ((triple2) -> rule8)) -> rule2) OR ((triple1 ((((triple2) -> rule8)) -> rule1)) -> rule4) OR ((((((triple2) -> rule8)) -> rule1) triple3) -> rule2) OR ((((((triple2) -> rule8)) -> rule1) ((triple2) -> rule8)) -> rule2))]