Dave is big. Dave is cold. Dave is furry. Dave is quiet. Dave is young. Erin is cold. Fiona is big. Fiona is cold. Fiona is smart. Harry is smart. All quiet people are young. If someone is smart then they are quiet. If someone is green and cold then they are young. If Erin is furry and Erin is cold then Erin is smart. Quiet, cold people are young. If Harry is green then Harry is cold. If Erin is cold and Erin is young then Erin is quiet. Smart, quiet people are cold.
Erin is not quiet.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is quiet.[(triple4)] Dave is young.[(triple5 OR ((triple4) -> rule1) OR ((triple4 triple2) -> rule5))] Erin is cold.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple8 OR ((triple9 ((triple9) -> rule2)) -> rule8))] Fiona is smart.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is quiet.[(((triple9) -> rule2))] Harry is quiet.[(((triple10) -> rule2))] @2: Fiona is young.[(((((triple9) -> rule2)) -> rule1) OR ((((triple9) -> rule2) triple8) -> rule5) OR ((((triple9) -> rule2) ((triple9 ((triple9) -> rule2)) -> rule8)) -> rule5))] Harry is cold.[(((triple10 ((triple10) -> rule2)) -> rule8))] Harry is young.[(((((triple10) -> rule2)) -> rule1) OR ((((triple10) -> rule2) ((triple10 ((triple10) -> rule2)) -> rule8)) -> rule5))]