Bob is round. Bob is smart. Charlie is not smart. Fiona is young. Gary is nice. Gary is smart. Gary is white. If someone is young then they are smart. If Fiona is young then Fiona is smart. If someone is green and young then they are white. If someone is smart then they are green. If someone is quiet then they are round. If someone is round and not smart then they are not quiet. If someone is nice then they are quiet. If someone is white then they are quiet.
Bob is young.
@0: Bob is round.[(triple1)] Bob is smart.[(triple2)] Charlie is not smart.[(triple3)] Fiona is young.[(triple4)] Gary is nice.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)] @1: Bob is green.[(((triple2) -> rule4))] Fiona is smart.[(((triple4) -> rule1) OR ((triple4) -> rule2))] Gary is green.[(((triple6) -> rule4))] Gary is quiet.[(((triple5) -> rule7) OR ((triple7) -> rule8))] @2: Fiona is green.[(((((triple4) -> rule1)) -> rule4) OR ((((triple4) -> rule2)) -> rule4))] Gary is round.[(((((triple5) -> rule7)) -> rule5) OR ((((triple7) -> rule8)) -> rule5))] @3: Fiona is white.[(((((((triple4) -> rule1)) -> rule4) triple4) -> rule3) OR ((((((triple4) -> rule2)) -> rule4) triple4) -> rule3))] @4: Fiona is quiet.[(((((((((triple4) -> rule1)) -> rule4) triple4) -> rule3)) -> rule8) OR ((((((((triple4) -> rule2)) -> rule4) triple4) -> rule3)) -> rule8))] @5: Fiona is round.[(((((((((((triple4) -> rule1)) -> rule4) triple4) -> rule3)) -> rule8)) -> rule5) OR ((((((((((triple4) -> rule2)) -> rule4) triple4) -> rule3)) -> rule8)) -> rule5))]