Bob is blue. Dave is green. Dave is rough. Fiona is green. Fiona is white. Gary is green. Gary is white. Young, round people are furry. All green, young people are furry. If Bob is blue and Bob is white then Bob is young. If Fiona is green then Fiona is rough. Young, blue people are green. If someone is blue then they are white. Furry people are rough.
Bob is round.
@0: Bob is blue.[(triple1)] Dave is green.[(triple2)] Dave is rough.[(triple3)] Fiona is green.[(triple4)] Fiona is white.[(triple5)] Gary is green.[(triple6)] Gary is white.[(triple7)] @1: Bob is white.[(((triple1) -> rule6))] Fiona is rough.[(((triple4) -> rule4))] @2: Bob is young.[(((triple1 ((triple1) -> rule6)) -> rule3))] @3: Bob is green.[(((((triple1 ((triple1) -> rule6)) -> rule3) triple1) -> rule5))] @4: Bob is furry.[(((((((triple1 ((triple1) -> rule6)) -> rule3) triple1) -> rule5) ((triple1 ((triple1) -> rule6)) -> rule3)) -> rule2))] @5: Bob is rough.[(((((((((triple1 ((triple1) -> rule6)) -> rule3) triple1) -> rule5) ((triple1 ((triple1) -> rule6)) -> rule3)) -> rule2)) -> rule7))]