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