The dog is blue. The dog is green. The dog is kind. The dog is red. The dog is round. All green things are kind. If the dog is round then the dog is red. If the dog is red and the dog is green then the dog is blue. Round things are red. Round things are red. All round things are kind. All round things are red. If the dog is kind and the dog is round then the dog is red.
The dog eats the dog.
@0: The dog is blue.[(triple1 OR ((triple4 triple2) -> rule3) OR ((((triple5) -> rule2) triple2) -> rule3) OR ((((triple5) -> rule4) triple2) -> rule3) OR ((((triple5) -> rule5) triple2) -> rule3) OR ((((triple5) -> rule7) triple2) -> rule3) OR ((((triple3 triple5) -> rule8) triple2) -> rule3) OR ((((((triple2) -> rule1) triple5) -> rule8) triple2) -> rule3) OR ((((((triple5) -> rule6) triple5) -> rule8) triple2) -> rule3))] The dog is green.[(triple2)] The dog is kind.[(triple3 OR ((triple2) -> rule1) OR ((triple5) -> rule6))] The dog is red.[(triple4 OR ((triple5) -> rule2) OR ((triple5) -> rule4) OR ((triple5) -> rule5) OR ((triple5) -> rule7) OR ((triple3 triple5) -> rule8) OR ((((triple2) -> rule1) triple5) -> rule8) OR ((((triple5) -> rule6) triple5) -> rule8))] The dog is round.[(triple5)]