Anne is blue. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is white. Fiona is cold. Fiona is round. Fiona is white. Gary is furry. Gary is quiet. Gary is round. Gary is white. All furry things are round. All round, furry things are quiet. Rough, quiet things are furry. Round, furry things are rough. Rough things are furry. If something is round and white then it is rough.
Gary is not blue.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4 OR ((triple6) -> rule5) OR ((triple6 triple5) -> rule3) OR ((((triple7 triple8) -> rule6)) -> rule5) OR ((((triple7 triple8) -> rule6) triple5) -> rule3))] Charlie is quiet.[(triple5 OR ((triple7 triple4) -> rule2) OR ((triple7 ((triple6) -> rule5)) -> rule2) OR ((((triple4) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((triple7 ((((triple7 triple8) -> rule6)) -> rule5)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) triple4) -> rule2) OR ((((triple4) -> rule1) ((((triple7 triple8) -> rule6)) -> rule5)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((triple6) -> rule5)) -> rule2) OR ((((((triple6) -> rule5)) -> rule1) ((((triple7 triple8) -> rule6)) -> rule5)) -> rule2))] Charlie is rough.[(triple6 OR ((triple7 triple4) -> rule4) OR ((triple7 triple8) -> rule6) OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) triple8) -> rule6))] Charlie is round.[(triple7 OR ((triple4) -> rule1) OR ((((triple6) -> rule5)) -> rule1) OR ((((triple6 triple5) -> rule3)) -> rule1))] Charlie is white.[(triple8)] Fiona is cold.[(triple9)] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Gary is furry.[(triple12 OR ((((triple14 triple15) -> rule6)) -> rule5) OR ((((triple14 triple15) -> rule6) triple13) -> rule3))] Gary is quiet.[(triple13 OR ((triple14 triple12) -> rule2) OR ((((triple12) -> rule1) triple12) -> rule2) OR ((triple14 ((((triple14 triple15) -> rule6)) -> rule5)) -> rule2) OR ((((triple12) -> rule1) ((((triple14 triple15) -> rule6)) -> rule5)) -> rule2))] Gary is round.[(triple14 OR ((triple12) -> rule1))] Gary is white.[(triple15)] @1: Fiona is rough.[(((triple10 triple11) -> rule6))] Gary is rough.[(((triple14 triple12) -> rule4) OR ((triple14 triple15) -> rule6) OR ((((triple12) -> rule1) triple12) -> rule4) OR ((((triple12) -> rule1) triple15) -> rule6))] @2: Fiona is furry.[(((((triple10 triple11) -> rule6)) -> rule5))] @3: Fiona is quiet.[(((triple10 ((((triple10 triple11) -> rule6)) -> rule5)) -> rule2))]