Anne is cold. Bob is big. Bob is white. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Gary is green. Gary is round. Gary is smart. All green things are cold. If Bob is big then Bob is green. Cold things are smart.
Charlie is cold.
@0: Anne is cold.[(triple1)] Bob is big.[(triple2)] Bob is white.[(triple3)] Charlie is big.[(triple4)] Charlie is cold.[(triple5 OR ((triple7) -> rule1))] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Gary is green.[(triple8)] Gary is round.[(triple9)] Gary is smart.[(triple10 OR ((((triple8) -> rule1)) -> rule3))] @1: Anne is smart.[(((triple1) -> rule3))] Bob is green.[(((triple2) -> rule2))] Charlie is smart.[(((triple5) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Gary is cold.[(((triple8) -> rule1))] @2: Bob is cold.[(((((triple2) -> rule2)) -> rule1))] @3: Bob is smart.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]