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