Bob is round. Erin is smart. Fiona is smart. Gary is big. If something is round then it is young. If Bob is young then Bob is green. If something is green then it is not smart. If something is young and not blue then it is green. If something is smart and green then it is white. If something is big and smart then it is not round.
Bob is green.
@0: Bob is round.[(triple1)] Erin is smart.[(triple2)] Fiona is smart.[(triple3)] Gary is big.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] @2: Bob is green.[(((((triple1) -> rule1)) -> rule2))] @3: Bob is not smart.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]