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