Bob is round. Charlie is round. Dave is smart. Fiona is white. If someone is round then they are white. All kind people are blue. If Charlie is cold and Charlie is smart then Charlie is kind. If someone is white and round then they are kind. If Charlie is quiet then Charlie is smart. All white, blue people are round. If Dave is white and Dave is blue then Dave is round. If Charlie is smart and Charlie is round then Charlie is kind.
Dave is quiet.
@0: Bob is round.[(triple1)] Charlie is round.[(triple2)] Dave is smart.[(triple3)] Fiona is white.[(triple4)] @1: Bob is white.[(((triple1) -> rule1))] Charlie is white.[(((triple2) -> rule1))] @2: Bob is kind.[(((((triple1) -> rule1) triple1) -> rule4))] Charlie is kind.[(((((triple2) -> rule1) triple2) -> rule4))] @3: Bob is blue.[(((((((triple1) -> rule1) triple1) -> rule4)) -> rule2))] Charlie is blue.[(((((((triple2) -> rule1) triple2) -> rule4)) -> rule2))]