Bob is quiet. Dave is big. Dave is blue. Dave is cold. Dave is rough. Fiona is green. Harry is big. Harry is blue. Harry is cold. Harry is green. All quiet, kind people are green. If someone is cold and rough then they are green. Green people are big. If someone is blue then they are big. If someone is kind and cold then they are green. If Fiona is kind and Fiona is quiet then Fiona is green. Rough people are big. All rough, green people are quiet.
Dave is not blue.
@0: Bob is quiet.[(triple1)] Dave is big.[(triple2 OR ((triple3) -> rule4) OR ((triple5) -> rule7) OR ((((triple4 triple5) -> rule2)) -> rule3))] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is rough.[(triple5)] Fiona is green.[(triple6)] Harry is big.[(triple7 OR ((triple10) -> rule3) OR ((triple8) -> rule4))] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is green.[(triple10)] @1: Dave is green.[(((triple4 triple5) -> rule2))] Fiona is big.[(((triple6) -> rule3))] @2: Dave is quiet.[(((triple5 ((triple4 triple5) -> rule2)) -> rule8))]