Bob is quiet. Charlie is furry. Charlie is quiet. Charlie is not red. Fiona is furry. Fiona is green. Fiona is quiet. If someone is furry then they are not red. Nice people are not green. Nice people are green. All nice people are not kind. All quiet people are kind. If someone is kind and quiet then they are furry. If Fiona is green then Fiona is not nice. Furry people are quiet.
Fiona is not red.
@0: Bob is quiet.[(triple1)] Charlie is furry.[(triple2 OR ((((triple3) -> rule5) triple3) -> rule6))] Charlie is not red.[(triple4 OR ((triple2) -> rule1) OR ((((((triple3) -> rule5) triple3) -> rule6)) -> rule1))] Charlie is quiet.[(triple3 OR ((triple2) -> rule8))] Fiona is furry.[(triple5 OR ((((triple7) -> rule5) triple7) -> rule6))] Fiona is green.[(triple6)] Fiona is quiet.[(triple7 OR ((triple5) -> rule8))] @1: Bob is kind.[(((triple1) -> rule5))] Charlie is kind.[(((triple3) -> rule5) OR ((((triple2) -> rule8)) -> rule5))] Fiona is kind.[(((triple7) -> rule5) OR ((((triple5) -> rule8)) -> rule5))] Fiona is not nice.[(((triple6) -> rule7))] Fiona is not red.[(((triple5) -> rule1) OR ((((((triple7) -> rule5) triple7) -> rule6)) -> rule1))] @2: Bob is furry.[(((((triple1) -> rule5) triple1) -> rule6))] @3: Bob is not red.[(((((((triple1) -> rule5) triple1) -> rule6)) -> rule1))]