Bob is cold. Bob is green. Bob is quiet. Bob is white. Fiona is cold. Fiona is quiet. Fiona is round. Kind things are cold. If something is white and green then it is round. Quiet things are green. If something is quiet and kind then it is furry. All furry, cold things are round. Quiet things are kind. Green things are kind. If something is kind and quiet then it is white.
Fiona is kind.
@0: Bob is cold.[(triple1 OR ((((triple2) -> rule7)) -> rule1) OR ((((triple3) -> rule6)) -> rule1) OR ((((((triple3) -> rule3)) -> rule7)) -> rule1))] Bob is green.[(triple2 OR ((triple3) -> rule3))] Bob is quiet.[(triple3)] Bob is white.[(triple4 OR ((((triple2) -> rule7) triple3) -> rule8) OR ((((triple3) -> rule6) triple3) -> rule8) OR ((((((triple3) -> rule3)) -> rule7) triple3) -> rule8))] Fiona is cold.[(triple5 OR ((((triple6) -> rule6)) -> rule1) OR ((((((triple6) -> rule3)) -> rule7)) -> rule1))] Fiona is quiet.[(triple6)] Fiona is round.[(triple7 OR ((((triple6 ((triple6) -> rule6)) -> rule4) triple5) -> rule5) OR ((((((triple6) -> rule6) triple6) -> rule8) ((triple6) -> rule3)) -> rule2) OR ((((triple6 ((triple6) -> rule6)) -> rule4) ((((triple6) -> rule6)) -> rule1)) -> rule5) OR ((((triple6 ((((triple6) -> rule3)) -> rule7)) -> rule4) triple5) -> rule5) OR ((((((((triple6) -> rule3)) -> rule7) triple6) -> rule8) ((triple6) -> rule3)) -> rule2) OR ((((triple6 ((triple6) -> rule6)) -> rule4) ((((((triple6) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((triple6 ((((triple6) -> rule3)) -> rule7)) -> rule4) ((((triple6) -> rule6)) -> rule1)) -> rule5) OR ((((triple6 ((((triple6) -> rule3)) -> rule7)) -> rule4) ((((((triple6) -> rule3)) -> rule7)) -> rule1)) -> rule5))] @1: Bob is kind.[(((triple2) -> rule7) OR ((triple3) -> rule6) OR ((((triple3) -> rule3)) -> rule7))] Bob is round.[(((triple4 triple2) -> rule2) OR ((triple4 ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((triple2) -> rule7)) -> rule4) triple1) -> rule5) OR ((((triple3 ((triple3) -> rule6)) -> rule4) triple1) -> rule5) OR ((((((triple2) -> rule7) triple3) -> rule8) triple2) -> rule2) OR ((((((triple3) -> rule6) triple3) -> rule8) triple2) -> rule2) OR ((((((triple2) -> rule7) triple3) -> rule8) ((triple3) -> rule3)) -> rule2) OR ((((((triple3) -> rule6) triple3) -> rule8) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((triple2) -> rule7)) -> rule4) ((((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple3 ((triple2) -> rule7)) -> rule4) ((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((triple3 ((triple3) -> rule6)) -> rule4) ((((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple3 ((triple3) -> rule6)) -> rule4) ((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule4) triple1) -> rule5) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule8) triple2) -> rule2) OR ((((((((triple3) -> rule3)) -> rule7) triple3) -> rule8) ((triple3) -> rule3)) -> rule2) OR ((((triple3 ((triple2) -> rule7)) -> rule4) ((((((triple3) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((triple3 ((triple3) -> rule6)) -> rule4) ((((((triple3) -> rule3)) -> rule7)) -> rule1)) -> rule5) OR ((((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple2) -> rule7)) -> rule1)) -> rule5) OR ((((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple3) -> rule6)) -> rule1)) -> rule5) OR ((((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple3) -> rule3)) -> rule7)) -> rule1)) -> rule5))] Fiona is green.[(((triple6) -> rule3))] Fiona is kind.[(((triple6) -> rule6) OR ((((triple6) -> rule3)) -> rule7))] @2: Bob is furry.[(((triple3 ((triple2) -> rule7)) -> rule4) OR ((triple3 ((triple3) -> rule6)) -> rule4) OR ((triple3 ((((triple3) -> rule3)) -> rule7)) -> rule4))] Fiona is furry.[(((triple6 ((triple6) -> rule6)) -> rule4) OR ((triple6 ((((triple6) -> rule3)) -> rule7)) -> rule4))] Fiona is white.[(((((triple6) -> rule6) triple6) -> rule8) OR ((((((triple6) -> rule3)) -> rule7) triple6) -> rule8))]