Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Dave is kind. Dave is quiet. Erin is big. Erin is kind. Erin is nice. Erin is smart. Nice things are young. If something is cold then it is kind. If Anne is big then Anne is quiet.
Anne is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule3))] Anne is smart.[(triple5)] Anne is young.[(triple6 OR ((triple3) -> rule1))] Dave is kind.[(triple7)] Dave is quiet.[(triple8)] Erin is big.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is smart.[(triple12)] @1: Anne is kind.[(((triple2) -> rule2))] Erin is young.[(((triple11) -> rule1))]