Dave is green. Dave is not kind. Dave is not quiet. Dave is not white. Fiona is big. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. Gary is big. Gary is kind. Gary is white. Harry is kind. Harry is nice. Harry is not quiet. If someone is quiet and round then they are big. If someone is white and not nice then they are big. If someone is white then they are big. Big people are kind. All kind people are green. All green, kind people are white. If someone is round then they are not white. All round people are not quiet.
Harry is round.
@0: Dave is green.[(triple1)] Dave is not kind.[(triple2)] Dave is not quiet.[(triple3)] Dave is not white.[(triple4)] Fiona is big.[(triple5 OR ((triple9) -> rule3))] Fiona is green.[(triple6 OR ((((triple5) -> rule4)) -> rule5) OR ((((((triple9) -> rule3)) -> rule4)) -> rule5))] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8)] Fiona is white.[(triple9 OR ((triple6 ((triple5) -> rule4)) -> rule6) OR ((((((triple5) -> rule4)) -> rule5) ((triple5) -> rule4)) -> rule6))] Gary is big.[(triple10 OR ((triple12) -> rule3) OR ((((((triple11) -> rule5) triple11) -> rule6)) -> rule3))] Gary is kind.[(triple11 OR ((triple10) -> rule4) OR ((((triple12) -> rule3)) -> rule4))] Gary is white.[(triple12 OR ((((triple11) -> rule5) triple11) -> rule6) OR ((((triple11) -> rule5) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4)) -> rule5) triple11) -> rule6) OR ((((((triple10) -> rule4)) -> rule5) ((triple10) -> rule4)) -> rule6))] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is not quiet.[(triple15)] @1: Fiona is kind.[(((triple5) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] Gary is green.[(((triple11) -> rule5) OR ((((triple10) -> rule4)) -> rule5) OR ((((((triple12) -> rule3)) -> rule4)) -> rule5))] Harry is green.[(((triple13) -> rule5))] @2: Harry is white.[(((((triple13) -> rule5) triple13) -> rule6))] @3: Harry is big.[(((((((triple13) -> rule5) triple13) -> rule6)) -> rule3))]