Bob is big. Dave is nice. Fiona is kind. Harry is smart. If something is big and nice then it is blue. If Bob is blue then Bob is white. Red things are nice. Nice, white things are smart. If something is white and nice then it is big. Nice, kind things are blue. Big, nice things are red. All smart things are blue.
Dave is not smart.
@0: Bob is big.[(triple1)] Dave is nice.[(triple2)] Fiona is kind.[(triple3)] Harry is smart.[(triple4)] @1: Harry is blue.[(((triple4) -> rule8))]