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