Bob is rough. Dave is smart. Fiona is round. Gary is white. All rough, kind things are round. All rough things are smart. All red things are rough. All nice things are white. If Bob is smart then Bob is nice. Rough, white things are kind.
Fiona is round.
@0: Bob is rough.[(triple1)] Dave is smart.[(triple2)] Fiona is round.[(triple3)] Gary is white.[(triple4)] @1: Bob is smart.[(((triple1) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule2)) -> rule5))] @3: Bob is white.[(((((((triple1) -> rule2)) -> rule5)) -> rule4))] @4: Bob is kind.[(((triple1 ((((((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule6))] @5: Bob is round.[(((triple1 ((triple1 ((((((triple1) -> rule2)) -> rule5)) -> rule4)) -> rule6)) -> rule1))]