Dave is kind. Dave is nice. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. Young, blue people are quiet. If Fiona is blue then Fiona is nice. If Fiona is nice and Fiona is blue then Fiona is white. If someone is white and kind then they are young. If Fiona is nice and Fiona is blue then Fiona is kind. All quiet people are cold. If Fiona is blue then Fiona is nice. All nice, quiet people are cold.
Dave is not young.
@0: Dave is kind.[(triple1)] Dave is nice.[(triple2)] Fiona is blue.[(triple3)] Fiona is kind.[(triple4 OR ((((triple3) -> rule2) triple3) -> rule5) OR ((((triple3) -> rule7) triple3) -> rule5))] Fiona is quiet.[(triple5 OR ((triple7 triple3) -> rule1) OR ((((triple6 triple4) -> rule4) triple3) -> rule1) OR ((((triple6 ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1) OR ((((triple6 ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule2) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1) OR ((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1))] Fiona is white.[(triple6 OR ((((triple3) -> rule2) triple3) -> rule3) OR ((((triple3) -> rule7) triple3) -> rule3))] Fiona is young.[(triple7 OR ((triple6 triple4) -> rule4) OR ((triple6 ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) OR ((triple6 ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule2) triple3) -> rule3) triple4) -> rule4) OR ((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule4) OR ((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) OR ((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4))] @1: Fiona is cold.[(((triple5) -> rule6) OR ((((triple7 triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule2) triple5) -> rule8) OR ((((triple3) -> rule7) triple5) -> rule8) OR ((((triple3) -> rule2) ((triple7 triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((triple7 triple3) -> rule1)) -> rule8) OR ((((((triple6 triple4) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule2) ((((triple6 triple4) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((triple6 triple4) -> rule4) triple3) -> rule1)) -> rule8) OR ((((((triple6 ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((triple6 ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule2) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule2) ((((triple6 ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule2) ((((triple6 ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule2) ((((((((triple3) -> rule2) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule2) ((((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((triple6 ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((triple6 ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule2) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule7) triple3) -> rule3) triple4) -> rule4) triple3) -> rule1)) -> rule8) OR ((((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule6) OR ((((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule6) OR ((((triple3) -> rule2) ((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule2) ((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule2) ((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule2) ((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule2) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule2) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule7) triple3) -> rule3) ((((triple3) -> rule7) triple3) -> rule5)) -> rule4) triple3) -> rule1)) -> rule8))] Fiona is nice.[(((triple3) -> rule2) OR ((triple3) -> rule7))]