Bob is not blue. Bob is cold. Bob is quiet. Bob is red. Dave is blue. Dave is cold. Dave is nice. Dave is not quiet. Dave is red. Dave is rough. Erin is blue. Erin is cold. Erin is quiet. Erin is red. Harry is blue. Harry is quiet. Rough, cold people are big. If Harry is cold and Harry is red then Harry is big. If someone is cold then they are rough.
Dave is big.
@0: Bob is cold.[(triple2)] Bob is not blue.[(triple1)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is not quiet.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10 OR ((triple6) -> rule3))] Erin is blue.[(triple11)] Erin is cold.[(triple12)] Erin is quiet.[(triple13)] Erin is red.[(triple14)] Harry is blue.[(triple15)] Harry is quiet.[(triple16)] @1: Bob is rough.[(((triple2) -> rule3))] Dave is big.[(((triple10 triple6) -> rule1) OR ((((triple6) -> rule3) triple6) -> rule1))] Erin is rough.[(((triple12) -> rule3))] @2: Bob is big.[(((((triple2) -> rule3) triple2) -> rule1))] Erin is big.[(((((triple12) -> rule3) triple12) -> rule1))]