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