Anne is furry. Anne is quiet. Anne is rough. Bob is furry. Bob is quiet. Bob is rough. Fiona is kind. If something is rough then it is kind. If something is rough and furry then it is blue. If Fiona is furry then Fiona is rough. Green things are quiet. If Fiona is kind then Fiona is quiet. Rough things are quiet. If something is quiet then it is kind. All kind things are quiet.
Fiona is not rough.
@0: Anne is furry.[(triple1)] Anne is quiet.[(triple2 OR ((triple3) -> rule6) OR ((((triple3) -> rule1)) -> rule8))] Anne is rough.[(triple3)] Bob is furry.[(triple4)] Bob is quiet.[(triple5 OR ((triple6) -> rule6) OR ((((triple6) -> rule1)) -> rule8))] Bob is rough.[(triple6)] Fiona is kind.[(triple7)] @1: Anne is blue.[(((triple3 triple1) -> rule2))] Anne is kind.[(((triple2) -> rule7) OR ((triple3) -> rule1) OR ((((triple3) -> rule6)) -> rule7))] Bob is blue.[(((triple6 triple4) -> rule2))] Bob is kind.[(((triple5) -> rule7) OR ((triple6) -> rule1) OR ((((triple6) -> rule6)) -> rule7))] Fiona is quiet.[(((triple7) -> rule5) OR ((triple7) -> rule8))]