The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is young. If the cow is young then the cow is green. Kind things are young. If something is kind then it is young. If something is big then it is nice. All kind, green things are nice. Green things are nice. If something is young then it is green. If something is big and not young then it is not green.
The cow is nice.
@0: The cow is big.[(triple1)] The cow is green.[(triple2 OR ((triple5) -> rule1) OR ((triple5) -> rule7) OR ((((triple3) -> rule2)) -> rule1) OR ((((triple3) -> rule2)) -> rule7) OR ((((triple3) -> rule3)) -> rule1) OR ((((triple3) -> rule3)) -> rule7))] The cow is kind.[(triple3)] The cow is nice.[(triple4 OR ((triple1) -> rule4) OR ((triple2) -> rule6) OR ((triple3 triple2) -> rule5) OR ((((triple5) -> rule1)) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((triple3 ((triple5) -> rule1)) -> rule5) OR ((triple3 ((triple5) -> rule7)) -> rule5) OR ((((((triple3) -> rule2)) -> rule1)) -> rule6) OR ((((((triple3) -> rule2)) -> rule7)) -> rule6) OR ((((((triple3) -> rule3)) -> rule1)) -> rule6) OR ((((((triple3) -> rule3)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule2)) -> rule1)) -> rule5) OR ((triple3 ((((triple3) -> rule2)) -> rule7)) -> rule5) OR ((triple3 ((((triple3) -> rule3)) -> rule1)) -> rule5) OR ((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule5))] The cow is young.[(triple5 OR ((triple3) -> rule2) OR ((triple3) -> rule3))]