Charlie is quiet. Charlie is red. Charlie is smart. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is smart. Erin is furry. Erin is kind. If Dave is quiet then Dave is furry. If someone is furry then they are quiet. If someone is quiet and furry then they are smart. If Erin is furry then Erin is green. If someone is blue then they are red. If Charlie is quiet then Charlie is kind. If someone is smart and furry then they are kind. If Erin is smart and Erin is green then Erin is quiet.
Erin is kind.
@0: Charlie is quiet.[(triple1)] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Dave is blue.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7 OR ((triple8 triple5) -> rule7) OR ((((((triple5) -> rule2) triple5) -> rule3) triple5) -> rule7))] Dave is smart.[(triple8 OR ((((triple5) -> rule2) triple5) -> rule3))] Erin is furry.[(triple9)] Erin is kind.[(triple10 OR ((((((triple9) -> rule2) triple9) -> rule3) triple9) -> rule7))] @1: Charlie is kind.[(((triple1) -> rule6))] Dave is quiet.[(((triple5) -> rule2))] Dave is red.[(((triple4) -> rule5))] Erin is green.[(((triple9) -> rule4))] Erin is quiet.[(((triple9) -> rule2))] @2: Erin is smart.[(((((triple9) -> rule2) triple9) -> rule3))]