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