Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is furry. Dave is kind. Dave is quiet. Dave is white. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is round. Fiona is furry. Fiona is rough. If Fiona is rough and Fiona is red then Fiona is round. If something is white and quiet then it is kind. Kind things are red. If Charlie is white then Charlie is round. If something is quiet then it is round. All rough things are furry.
Charlie is red.
@0: Charlie is furry.[(triple1 OR ((triple4) -> rule6))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Dave is furry.[(triple5)] Dave is kind.[(triple6 OR ((triple8 triple7) -> rule2))] Dave is quiet.[(triple7)] Dave is white.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple9) -> rule3))] Erin is rough.[(triple12)] Erin is round.[(triple13 OR ((triple10) -> rule5))] Fiona is furry.[(triple14 OR ((triple15) -> rule6))] Fiona is rough.[(triple15)] @1: Charlie is red.[(((triple2) -> rule3))] Charlie is round.[(((triple3) -> rule5))] Dave is red.[(((triple6) -> rule3) OR ((((triple8 triple7) -> rule2)) -> rule3))] Dave is round.[(((triple7) -> rule5))] Erin is furry.[(((triple12) -> rule6))]