Bob is young. Erin is green. Fiona is young. If someone is green and round then they are rough. All round people are young. Blue, green people are cold. If someone is big then they are rough. If Fiona is cold then Fiona is big. If Bob is rough then Bob is round. Big people are blue. If Bob is young then Bob is big.
Bob is big.
@0: Bob is young.[(triple1)] Erin is green.[(triple2)] Fiona is young.[(triple3)] @1: Bob is big.[(((triple1) -> rule8))] @2: Bob is blue.[(((((triple1) -> rule8)) -> rule7))] Bob is rough.[(((((triple1) -> rule8)) -> rule4))] @3: Bob is round.[(((((((triple1) -> rule8)) -> rule4)) -> rule6))]