Anne is blue. Anne is furry. Anne is quiet. Fiona is cold. Fiona is furry. Gary is blue. Gary is smart. Young things are cold. Smart, quiet things are cold. If something is quiet then it is round. All cold, furry things are blue. If something is quiet and round then it is cold. If something is smart and furry then it is quiet. Furry things are smart. Blue, quiet things are furry.
Anne is smart.
@0: Anne is blue.[(triple1 OR ((((triple3 ((triple3) -> rule3)) -> rule5) triple2) -> rule4) OR ((((((triple2) -> rule7) triple3) -> rule2) triple2) -> rule4) OR ((((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) triple2) -> rule4) OR ((((((((triple2) -> rule7) triple2) -> rule6) ((triple3) -> rule3)) -> rule5) triple2) -> rule4) OR ((((triple3 ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) triple2) -> rule4) OR ((((((((triple2) -> rule7) triple2) -> rule6) ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) triple2) -> rule4))] Anne is furry.[(triple2 OR ((triple1 triple3) -> rule8))] Anne is quiet.[(triple3 OR ((((triple2) -> rule7) triple2) -> rule6))] Fiona is cold.[(triple4 OR ((((triple5) -> rule7) ((((triple5) -> rule7) triple5) -> rule6)) -> rule2) OR ((((((triple5) -> rule7) triple5) -> rule6) ((((((triple5) -> rule7) triple5) -> rule6)) -> rule3)) -> rule5))] Fiona is furry.[(triple5)] Gary is blue.[(triple6)] Gary is smart.[(triple7)] @1: Anne is round.[(((triple3) -> rule3) OR ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3))] Anne is smart.[(((triple2) -> rule7) OR ((((triple1 triple3) -> rule8)) -> rule7))] Fiona is blue.[(((triple4 triple5) -> rule4) OR ((((((triple5) -> rule7) ((((triple5) -> rule7) triple5) -> rule6)) -> rule2) triple5) -> rule4) OR ((((((((triple5) -> rule7) triple5) -> rule6) ((((((triple5) -> rule7) triple5) -> rule6)) -> rule3)) -> rule5) triple5) -> rule4))] Fiona is smart.[(((triple5) -> rule7))] @2: Anne is cold.[(((triple3 ((triple3) -> rule3)) -> rule5) OR ((((triple2) -> rule7) triple3) -> rule2) OR ((((((triple1 triple3) -> rule8)) -> rule7) triple3) -> rule2) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule6) ((triple3) -> rule3)) -> rule5) OR ((((((triple1 triple3) -> rule8)) -> rule7) ((((triple2) -> rule7) triple2) -> rule6)) -> rule2) OR ((triple3 ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5) OR ((((((triple2) -> rule7) triple2) -> rule6) ((((((triple2) -> rule7) triple2) -> rule6)) -> rule3)) -> rule5))] Fiona is quiet.[(((((triple5) -> rule7) triple5) -> rule6))] @3: Fiona is round.[(((((((triple5) -> rule7) triple5) -> rule6)) -> rule3))]