Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is not quiet. Charlie is big. Charlie is quiet. Charlie is red. Charlie is round. Dave is kind. Dave is round. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. If Erin is kind then Erin is furry. If something is round then it is furry. Furry things are red. Round, furry things are blue. If Dave is red then Dave is big. All round things are kind.
Dave is quiet.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is not quiet.[(triple5)] Charlie is big.[(triple6)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8 OR ((((triple9) -> rule2)) -> rule3))] Charlie is round.[(triple9)] Dave is kind.[(triple10 OR ((triple11) -> rule6))] Dave is round.[(triple11)] Erin is blue.[(triple12)] Erin is furry.[(triple13 OR ((triple14) -> rule1))] Erin is kind.[(triple14)] Erin is quiet.[(triple15)] @1: Bob is red.[(((triple3) -> rule3))] Charlie is furry.[(((triple9) -> rule2))] Charlie is kind.[(((triple9) -> rule6))] Dave is furry.[(((triple11) -> rule2))] Erin is red.[(((triple13) -> rule3) OR ((((triple14) -> rule1)) -> rule3))] @2: Charlie is blue.[(((triple9 ((triple9) -> rule2)) -> rule4))] Dave is blue.[(((triple11 ((triple11) -> rule2)) -> rule4))] Dave is red.[(((((triple11) -> rule2)) -> rule3))] @3: Dave is big.[(((((((triple11) -> rule2)) -> rule3)) -> rule5))]