The dog is green. The dog is nice. The dog is red. The dog is round. The dog is young. Red, nice people are green. If someone is red and not nice then they are green. Young, nice people are green. Nice, young people are red. All red, young people are round. All red, nice people are round. All round, red people are young. If the dog is red then the dog is round.
The dog does not eat the dog.
@0: The dog is green.[(triple1 OR ((triple3 triple2) -> rule1) OR ((triple5 triple2) -> rule3) OR ((((triple2 triple5) -> rule4) triple2) -> rule1) OR ((((triple4 triple3) -> rule7) triple2) -> rule3) OR ((((((triple3) -> rule8) triple3) -> rule7) triple2) -> rule3) OR ((((((triple3 triple2) -> rule6) triple3) -> rule7) triple2) -> rule3))] The dog is nice.[(triple2)] The dog is red.[(triple3 OR ((triple2 triple5) -> rule4))] The dog is round.[(triple4 OR ((triple3) -> rule8) OR ((triple3 triple2) -> rule6) OR ((triple3 triple5) -> rule5) OR ((((triple2 triple5) -> rule4)) -> rule8) OR ((((triple2 triple5) -> rule4) triple2) -> rule6) OR ((((triple2 triple5) -> rule4) triple5) -> rule5))] The dog is young.[(triple5 OR ((triple4 triple3) -> rule7) OR ((((triple3) -> rule8) triple3) -> rule7) OR ((((triple3 triple2) -> rule6) triple3) -> rule7))]