Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is young. Fiona is furry. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. Nice things are rough. If Dave is kind and Dave is nice then Dave is quiet. Young, furry things are nice. If something is nice then it is furry. Nice things are furry. Rough, young things are kind. If something is red then it is young. Furry things are rough.
Fiona is not red.
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4 OR ((triple1) -> rule8))] Dave is young.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7 OR ((triple9 triple10) -> rule6) OR ((triple9 ((triple8) -> rule7)) -> rule6) OR ((((triple6) -> rule8) triple10) -> rule6) OR ((((triple6) -> rule8) ((triple8) -> rule7)) -> rule6) OR ((((((triple10 triple6) -> rule3)) -> rule1) triple10) -> rule6) OR ((((((triple10 triple6) -> rule3)) -> rule1) ((triple8) -> rule7)) -> rule6) OR ((((((((triple8) -> rule7) triple6) -> rule3)) -> rule1) triple10) -> rule6) OR ((((((((triple8) -> rule7) triple6) -> rule3)) -> rule1) ((triple8) -> rule7)) -> rule6))] Fiona is red.[(triple8)] Fiona is rough.[(triple9 OR ((triple6) -> rule8) OR ((((triple10 triple6) -> rule3)) -> rule1) OR ((((((triple8) -> rule7) triple6) -> rule3)) -> rule1))] Fiona is young.[(triple10 OR ((triple8) -> rule7))] @1: Fiona is nice.[(((triple10 triple6) -> rule3) OR ((((triple8) -> rule7) triple6) -> rule3))]