Bob is big. Bob is cold. Bob is quiet. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is round. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Harry is red. If someone is big then they are red. If Bob is quiet then Bob is red. If Bob is blue then Bob is green.
Bob is round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Erin is big.[(triple4)] Erin is blue.[(triple5)] Erin is cold.[(triple6)] Erin is green.[(triple7)] Erin is quiet.[(triple8)] Erin is red.[(triple9 OR ((triple4) -> rule1))] Erin is round.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is green.[(triple14)] Harry is quiet.[(triple15)] Harry is red.[(triple16 OR ((triple11) -> rule1))] @1: Bob is red.[(((triple1) -> rule1) OR ((triple3) -> rule2))]