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