The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is kind. If the dog is big then the dog is kind. If someone is cold and not big then they are kind. If someone is blue then they are kind. All cold people are kind. Green, big people are blue. If someone is kind then they are green. Big, cold people are green. If the dog is big then the dog is cold.
The dog is not kind.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2 OR ((triple4 triple1) -> rule5) OR ((((triple5) -> rule6) triple1) -> rule5) OR ((((triple1 triple3) -> rule7) triple1) -> rule5) OR ((((((triple1) -> rule1)) -> rule6) triple1) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) triple1) -> rule5) OR ((((triple1 ((triple1) -> rule8)) -> rule7) triple1) -> rule5) OR ((((((((triple1) -> rule8)) -> rule4)) -> rule6) triple1) -> rule5))] The dog is cold.[(triple3 OR ((triple1) -> rule8))] The dog is green.[(triple4 OR ((triple5) -> rule6) OR ((triple1 triple3) -> rule7) OR ((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((triple1 ((triple1) -> rule8)) -> rule7) OR ((((((triple1) -> rule8)) -> rule4)) -> rule6))] The dog is kind.[(triple5 OR ((triple1) -> rule1) OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((((triple1) -> rule8)) -> rule4) OR ((((triple4 triple1) -> rule5)) -> rule3) OR ((((((triple1 triple3) -> rule7) triple1) -> rule5)) -> rule3) OR ((((((triple1 ((triple1) -> rule8)) -> rule7) triple1) -> rule5)) -> rule3))]