Bob is not blue. Bob is nice. Dave is not nice. Dave is not young. Erin is big. Erin is red. Harry is big. Harry is blue. Harry is nice. Harry is round. If someone is blue then they are red. If Erin is blue and Erin is nice then Erin is not big. If someone is nice and red then they are blue. If Erin is not nice then Erin is not red. Big people are round. All quiet people are round. Nice people are not quiet. If someone is young and not big then they are quiet.
Bob is quiet.
@0: Bob is nice.[(triple2)] Bob is not blue.[(triple1)] Dave is not nice.[(triple3)] Dave is not young.[(triple4)] Erin is big.[(triple5)] Erin is red.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is nice.[(triple9)] Harry is round.[(triple10 OR ((triple7) -> rule5))] @1: Bob is not quiet.[(((triple2) -> rule7))] Erin is round.[(((triple5) -> rule5))] Harry is not quiet.[(((triple9) -> rule7))] Harry is red.[(((triple8) -> rule1))]