Dave is blue. Dave is quiet. Dave is white. Fiona is white. Fiona is young. Harry is smart. Harry is young. If someone is white then they are kind. All smart, blue people are young. All blue, white people are smart. If Dave is kind and Dave is white then Dave is young. If someone is kind then they are blue. If Harry is kind and Harry is white then Harry is not round.
Harry is not kind.
@0: Dave is blue.[(triple1 OR ((((triple3) -> rule1)) -> rule5))] Dave is quiet.[(triple2)] Dave is white.[(triple3)] Fiona is white.[(triple4)] Fiona is young.[(triple5 OR ((((((((triple4) -> rule1)) -> rule5) triple4) -> rule3) ((((triple4) -> rule1)) -> rule5)) -> rule2))] Harry is smart.[(triple6)] Harry is young.[(triple7)] @1: Dave is kind.[(((triple3) -> rule1))] Dave is smart.[(((triple1 triple3) -> rule3) OR ((((((triple3) -> rule1)) -> rule5) triple3) -> rule3))] Fiona is kind.[(((triple4) -> rule1))] @2: Dave is young.[(((((triple3) -> rule1) triple3) -> rule4) OR ((((triple1 triple3) -> rule3) triple1) -> rule2) OR ((((triple1 triple3) -> rule3) ((((triple3) -> rule1)) -> rule5)) -> rule2) OR ((((((((triple3) -> rule1)) -> rule5) triple3) -> rule3) triple1) -> rule2) OR ((((((((triple3) -> rule1)) -> rule5) triple3) -> rule3) ((((triple3) -> rule1)) -> rule5)) -> rule2))] Fiona is blue.[(((((triple4) -> rule1)) -> rule5))] @3: Fiona is smart.[(((((((triple4) -> rule1)) -> rule5) triple4) -> rule3))]