Charlie is big. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Dave is nice. Dave is rough. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is smart. Erin is white. Gary is kind. Gary is rough. Gary is white. If Dave is white then Dave is kind. If Gary is big and Gary is kind then Gary is smart. If Erin is round and Erin is kind then Erin is rough. All kind, rough things are smart. Kind, smart things are big. All big things are round. If something is nice then it is white.
Dave is not smart.
@0: Charlie is big.[(triple1 OR ((triple2 ((triple2 triple3) -> rule4)) -> rule5))] Charlie is kind.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple1) -> rule6) OR ((((triple2 ((triple2 triple3) -> rule4)) -> rule5)) -> rule6))] Charlie is white.[(triple5)] Dave is nice.[(triple6)] Dave is rough.[(triple7)] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is rough.[(triple10 OR ((triple11 triple8) -> rule3) OR ((((((triple8 triple12) -> rule5)) -> rule6) triple8) -> rule3))] Erin is round.[(triple11 OR ((((triple8 triple12) -> rule5)) -> rule6) OR ((((triple8 ((triple8 triple10) -> rule4)) -> rule5)) -> rule6))] Erin is smart.[(triple12 OR ((triple8 triple10) -> rule4) OR ((triple8 ((triple11 triple8) -> rule3)) -> rule4))] Erin is white.[(triple13 OR ((triple9) -> rule7))] Gary is kind.[(triple14)] Gary is rough.[(triple15)] Gary is white.[(triple16)] @1: Charlie is smart.[(((triple2 triple3) -> rule4))] Dave is white.[(((triple6) -> rule7))] Erin is big.[(((triple8 triple12) -> rule5) OR ((triple8 ((triple8 triple10) -> rule4)) -> rule5) OR ((triple8 ((triple8 ((triple11 triple8) -> rule3)) -> rule4)) -> rule5))] Gary is smart.[(((triple14 triple15) -> rule4))] @2: Dave is kind.[(((((triple6) -> rule7)) -> rule1))] Gary is big.[(((triple14 ((triple14 triple15) -> rule4)) -> rule5))] @3: Dave is smart.[(((((((triple6) -> rule7)) -> rule1) triple7) -> rule4))] Gary is round.[(((((triple14 ((triple14 triple15) -> rule4)) -> rule5)) -> rule6))] @4: Dave is big.[(((((((triple6) -> rule7)) -> rule1) ((((((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule5))] @5: Dave is round.[(((((((((triple6) -> rule7)) -> rule1) ((((((triple6) -> rule7)) -> rule1) triple7) -> rule4)) -> rule5)) -> rule6))]