Charlie is big. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Charlie is smart. Dave is kind. Dave is red. Dave is round. Dave is smart. Gary is big. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. All round, kind people are rough. If Dave is rough then Dave is round. All rough people are big. Rough people are red. Red, kind people are round. All rough people are smart. Red people are round. Big people are quiet.
Dave is not quiet.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule3))] Charlie is quiet.[(triple2 OR ((triple1) -> rule8) OR ((((triple4) -> rule3)) -> rule8))] Charlie is red.[(triple3 OR ((triple4) -> rule4))] Charlie is rough.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule7) OR ((((triple4) -> rule4)) -> rule7))] Charlie is smart.[(triple6 OR ((triple4) -> rule6))] Dave is kind.[(triple7)] Dave is red.[(triple8 OR ((((triple9 triple7) -> rule1)) -> rule4))] Dave is round.[(triple9 OR ((triple8) -> rule7) OR ((triple8 triple7) -> rule5))] Dave is smart.[(triple10 OR ((((triple9 triple7) -> rule1)) -> rule6) OR ((((((triple8) -> rule7) triple7) -> rule1)) -> rule6) OR ((((((triple8 triple7) -> rule5) triple7) -> rule1)) -> rule6))] Gary is big.[(triple11 OR ((triple14) -> rule3))] Gary is quiet.[(triple12 OR ((triple11) -> rule8) OR ((((triple14) -> rule3)) -> rule8))] Gary is red.[(triple13 OR ((triple14) -> rule4))] Gary is rough.[(triple14)] Gary is round.[(triple15 OR ((triple13) -> rule7) OR ((((triple14) -> rule4)) -> rule7))] Gary is smart.[(triple16 OR ((triple14) -> rule6))] @1: Dave is rough.[(((triple9 triple7) -> rule1) OR ((((triple8) -> rule7) triple7) -> rule1) OR ((((triple8 triple7) -> rule5) triple7) -> rule1))] @2: Dave is big.[(((((triple9 triple7) -> rule1)) -> rule3) OR ((((((triple8) -> rule7) triple7) -> rule1)) -> rule3) OR ((((((triple8 triple7) -> rule5) triple7) -> rule1)) -> rule3))] @3: Dave is quiet.[(((((((triple9 triple7) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple8) -> rule7) triple7) -> rule1)) -> rule3)) -> rule8) OR ((((((((triple8 triple7) -> rule5) triple7) -> rule1)) -> rule3)) -> rule8))]