The dog is big. The dog is cold. The dog is kind. The dog is red. The dog is rough. Cold people are red. If the dog is cold then the dog is rough. All cold people are rough. Rough, big people are kind. If someone is rough then they are kind. If someone is big and cold then they are kind. If the dog is red and the dog is cold then the dog is big. All red people are big.
The dog is cold.
@0: The dog is big.[(triple1 OR ((triple4) -> rule8) OR ((triple4 triple2) -> rule7) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple2) -> rule1) triple2) -> rule7))] The dog is cold.[(triple2)] The dog is kind.[(triple3 OR ((triple5) -> rule5) OR ((triple1 triple2) -> rule6) OR ((triple5 triple1) -> rule4) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2) -> rule3)) -> rule5) OR ((triple5 ((triple4) -> rule8)) -> rule4) OR ((triple5 ((triple4 triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4) OR ((((triple2) -> rule3) triple1) -> rule4) OR ((((triple4) -> rule8) triple2) -> rule6) OR ((((triple4 triple2) -> rule7) triple2) -> rule6) OR ((((triple2) -> rule2) ((triple4) -> rule8)) -> rule4) OR ((((triple2) -> rule2) ((triple4 triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule3) ((triple4) -> rule8)) -> rule4) OR ((((triple2) -> rule3) ((triple4 triple2) -> rule7)) -> rule4) OR ((triple5 ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((triple5 ((((triple2) -> rule1) triple2) -> rule7)) -> rule4) OR ((((((triple2) -> rule1)) -> rule8) triple2) -> rule6) OR ((((((triple2) -> rule1) triple2) -> rule7) triple2) -> rule6) OR ((((triple2) -> rule2) ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((triple2) -> rule2) ((((triple2) -> rule1) triple2) -> rule7)) -> rule4) OR ((((triple2) -> rule3) ((((triple2) -> rule1)) -> rule8)) -> rule4) OR ((((triple2) -> rule3) ((((triple2) -> rule1) triple2) -> rule7)) -> rule4))] The dog is red.[(triple4 OR ((triple2) -> rule1))] The dog is rough.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule3))]