Bob is kind. Bob is quiet. Bob is rough. Bob is round. Charlie is quiet. Charlie is red. Charlie is rough. Dave is round. Erin is big. Erin is rough. If Charlie is not quiet then Charlie is not rough. All kind, furry things are rough. If something is red and not furry then it is rough. All rough, kind things are round. If something is big and red then it is round. If something is round and quiet then it is big. If something is red then it is kind. If Erin is round and Erin is big then Erin is kind.
Bob is not kind.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is round.[(triple4 OR ((triple3 triple1) -> rule4))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Dave is round.[(triple8)] Erin is big.[(triple9)] Erin is rough.[(triple10)] @1: Bob is big.[(((triple4 triple2) -> rule6) OR ((((triple3 triple1) -> rule4) triple2) -> rule6))] Charlie is kind.[(((triple6) -> rule7))] @2: Charlie is round.[(((triple7 ((triple6) -> rule7)) -> rule4))] @3: Charlie is big.[(((((triple7 ((triple6) -> rule7)) -> rule4) triple5) -> rule6))]