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