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