Anne is rough. Anne is round. Bob is kind. Bob is round. Charlie is big. Charlie is young. Erin is smart. If something is cold and kind then it is big. Rough things are smart. If Bob is round then Bob is big. If something is smart then it is big. All big things are rough. Big, smart things are young.
Bob is cold.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Bob is kind.[(triple3)] Bob is round.[(triple4)] Charlie is big.[(triple5)] Charlie is young.[(triple6 OR ((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule6))] Erin is smart.[(triple7)] @1: Anne is smart.[(((triple1) -> rule2))] Bob is big.[(((triple4) -> rule3))] Charlie is rough.[(((triple5) -> rule5))] Erin is big.[(((triple7) -> rule4))] @2: Anne is big.[(((((triple1) -> rule2)) -> rule4))] Bob is rough.[(((((triple4) -> rule3)) -> rule5))] Charlie is smart.[(((((triple5) -> rule5)) -> rule2))] Erin is rough.[(((((triple7) -> rule4)) -> rule5))] Erin is young.[(((((triple7) -> rule4) triple7) -> rule6))] @3: Anne is young.[(((((((triple1) -> rule2)) -> rule4) ((triple1) -> rule2)) -> rule6))] Bob is smart.[(((((((triple4) -> rule3)) -> rule5)) -> rule2))] @4: Bob is young.[(((((triple4) -> rule3) ((((((triple4) -> rule3)) -> rule5)) -> rule2)) -> rule6))]