Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is young. Dave is blue. Dave is cold. Dave is round. All young things are quiet. All quiet things are smart. Round, blue things are young.
Dave is not quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple7) -> rule1) OR ((((triple5 triple1) -> rule3)) -> rule1))] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple4) -> rule2) OR ((((triple7) -> rule1)) -> rule2) OR ((((((triple5 triple1) -> rule3)) -> rule1)) -> rule2))] Bob is young.[(triple7 OR ((triple5 triple1) -> rule3))] Dave is blue.[(triple8)] Dave is cold.[(triple9)] Dave is round.[(triple10)] @1: Dave is young.[(((triple10 triple8) -> rule3))] @2: Dave is quiet.[(((((triple10 triple8) -> rule3)) -> rule1))] @3: Dave is smart.[(((((((triple10 triple8) -> rule3)) -> rule1)) -> rule2))]