Bob is kind. Bob is round. Bob is smart. Charlie is big. Charlie is quiet. Charlie is round. Dave is kind. Dave is round. Dave is young. Erin is big. Erin is not nice. Erin is not quiet. Erin is round. Erin is smart. Erin is young. All quiet people are big. All quiet people are not nice. All smart people are round. If Dave is round and Dave is nice then Dave is big. If someone is kind and not nice then they are smart. If someone is nice then they are smart. If Erin is nice and Erin is round then Erin is smart. If someone is round then they are kind.
Dave is young.
@0: Bob is kind.[(triple1 OR ((triple2) -> rule8) OR ((((triple3) -> rule3)) -> rule8))] Bob is round.[(triple2 OR ((triple3) -> rule3))] Bob is smart.[(triple3)] Charlie is big.[(triple4 OR ((triple5) -> rule1))] Charlie is quiet.[(triple5)] Charlie is round.[(triple6)] Dave is kind.[(triple7 OR ((triple8) -> rule8))] Dave is round.[(triple8)] Dave is young.[(triple9)] Erin is big.[(triple10)] Erin is not nice.[(triple11)] Erin is not quiet.[(triple12)] Erin is round.[(triple13 OR ((triple14) -> rule3))] Erin is smart.[(triple14 OR ((((triple13) -> rule8) triple11) -> rule5))] Erin is young.[(triple15)] @1: Charlie is kind.[(((triple6) -> rule8))] Charlie is not nice.[(((triple5) -> rule2))] Erin is kind.[(((triple13) -> rule8) OR ((((triple14) -> rule3)) -> rule8))] @2: Charlie is smart.[(((((triple6) -> rule8) ((triple5) -> rule2)) -> rule5))]