Anne is quiet. Anne is red. Anne is smart. Bob is big. Gary is kind. Gary is red. Gary is smart. If Bob is red and Bob is kind then Bob is cold. If Bob is quiet and Bob is smart then Bob is green. If someone is green and smart then they are quiet. If Anne is quiet and Anne is kind then Anne is cold. All red people are smart. Quiet, cold people are red.
Anne is green.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3 OR ((triple2) -> rule5))] Bob is big.[(triple4)] Gary is kind.[(triple5)] Gary is red.[(triple6)] Gary is smart.[(triple7 OR ((triple6) -> rule5))]