Anne is cold. Anne is not furry. Anne is red. Anne is round. Bob is red. Fiona is not round. Gary is furry. If someone is red then they are round. Red people are round. Furry, blue people are round. If someone is cold and not blue then they are not red. If someone is round and red then they are quiet. If someone is cold then they are smart. If someone is blue and smart then they are not cold. If someone is quiet and round then they are cold. Round, smart people are not furry.
Anne is blue.
@0: Anne is cold.[(triple1 OR ((((triple4 triple3) -> rule5) triple4) -> rule8) OR ((((triple4 triple3) -> rule5) ((triple3) -> rule1)) -> rule8) OR ((((triple4 triple3) -> rule5) ((triple3) -> rule2)) -> rule8) OR ((((((triple3) -> rule1) triple3) -> rule5) triple4) -> rule8) OR ((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule8) OR ((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule1)) -> rule8) OR ((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule2)) -> rule8) OR ((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule1)) -> rule8) OR ((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule2)) -> rule8))] Anne is not furry.[(triple2 OR ((triple4 ((triple1) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((triple1) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((triple1) -> rule6)) -> rule9) OR ((triple4 ((((((triple4 triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((triple4 triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((triple4 triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((triple4 triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((triple4 triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((triple4 triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((triple4 triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((triple4 triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((triple4 triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((((triple3) -> rule1) triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((triple4 ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((((triple3) -> rule1) triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((((triple3) -> rule1) triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule1) ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple3) -> rule2) ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6)) -> rule9))] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule2))] Bob is red.[(triple5)] Fiona is not round.[(triple6)] Gary is furry.[(triple7)] @1: Anne is quiet.[(((triple4 triple3) -> rule5) OR ((((triple3) -> rule1) triple3) -> rule5) OR ((((triple3) -> rule2) triple3) -> rule5))] Anne is smart.[(((triple1) -> rule6) OR ((((((triple4 triple3) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((triple4 triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple3) -> rule1) triple3) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple3) -> rule2) triple3) -> rule5) triple4) -> rule8)) -> rule6) OR ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple3) -> rule1) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple3) -> rule2) triple3) -> rule5) ((triple3) -> rule2)) -> rule8)) -> rule6))] Bob is round.[(((triple5) -> rule1) OR ((triple5) -> rule2))] @2: Bob is quiet.[(((((triple5) -> rule1) triple5) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule5))] @3: Bob is cold.[(((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule1)) -> rule8) OR ((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule2)) -> rule8) OR ((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule1)) -> rule8) OR ((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule2)) -> rule8))] @4: Bob is smart.[(((((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule2)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule2)) -> rule8)) -> rule6))] @5: Bob is not furry.[(((((triple5) -> rule1) ((((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule1) ((((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule1) ((((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule1) ((((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule2) ((((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule2) ((((((((triple5) -> rule1) triple5) -> rule5) ((triple5) -> rule2)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule2) ((((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule1)) -> rule8)) -> rule6)) -> rule9) OR ((((triple5) -> rule2) ((((((((triple5) -> rule2) triple5) -> rule5) ((triple5) -> rule2)) -> rule8)) -> rule6)) -> rule9))]