Bob is smart. Dave is big. Fiona is rough. Gary is not big. Big people are not nice. All nice, rough people are kind. All nice people are kind. Big, nice people are white. White, nice people are not smart. White people are not smart. If someone is red then they are big. Smart people are red.
Dave is not nice.
@0: Bob is smart.[(triple1)] Dave is big.[(triple2)] Fiona is rough.[(triple3)] Gary is not big.[(triple4)] @1: Bob is red.[(((triple1) -> rule8))] Dave is not nice.[(((triple2) -> rule1))] @2: Bob is big.[(((((triple1) -> rule8)) -> rule7))] @3: Bob is not nice.[(((((((triple1) -> rule8)) -> rule7)) -> rule1))]