Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is not rough. Dave is round. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is rough. Gary is round. If Gary is kind then Gary is rough. Round things are furry. If something is furry and not rough then it is round. Kind things are round. Big, quiet things are round. If something is kind then it is round.
Dave is round.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple7) -> rule2) OR ((((triple4) -> rule4)) -> rule2) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple1 triple5) -> rule5)) -> rule2))] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is not rough.[(triple6)] Dave is quiet.[(triple5)] Dave is round.[(triple7 OR ((triple4) -> rule4) OR ((triple4) -> rule6) OR ((triple1 triple5) -> rule5) OR ((triple2 triple6) -> rule3))] Gary is big.[(triple8)] Gary is furry.[(triple9 OR ((triple14) -> rule2) OR ((((triple11) -> rule4)) -> rule2) OR ((((triple11) -> rule6)) -> rule2) OR ((((triple8 triple12) -> rule5)) -> rule2))] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12)] Gary is rough.[(triple13 OR ((triple11) -> rule1))] Gary is round.[(triple14 OR ((triple11) -> rule4) OR ((triple11) -> rule6) OR ((triple8 triple12) -> rule5))]