Anne is cold. Bob is cold. Bob is kind. Bob is nice. Bob is quiet. Bob is rough. Bob is smart. If something is rough then it is quiet. All kind things are quiet. All kind things are big. Big things are smart. All rough things are smart. All nice things are rough.
Anne is not big.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple3) -> rule2) OR ((triple6) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] Bob is rough.[(triple6 OR ((triple4) -> rule6))] Bob is smart.[(triple7 OR ((triple6) -> rule5) OR ((((triple3) -> rule3)) -> rule4) OR ((((triple4) -> rule6)) -> rule5))] @1: Bob is big.[(((triple3) -> rule3))]