Anne is big. Anne is kind. Bob is cold. Bob is green. Bob is kind. Bob is quiet. Bob is smart. Bob is young. Erin is big. Erin is young. Young, kind things are big. Cold things are green.
Bob is not young.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4 OR ((triple3) -> rule2))] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Bob is young.[(triple8)] Erin is big.[(triple9)] Erin is young.[(triple10)] @1: Bob is big.[(((triple8 triple5) -> rule1))]