Bob is red. Bob is round. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is round. Dave is smart. Fiona is blue. Fiona is furry. Fiona is quiet. Fiona is round. If something is red then it is furry. If something is red and furry then it is smart.
Bob is not blue.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Dave is furry.[(triple3 OR ((triple6) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple6 triple3) -> rule2) OR ((triple6 ((triple6) -> rule1)) -> rule2))] Fiona is blue.[(triple9)] Fiona is furry.[(triple10)] Fiona is quiet.[(triple11)] Fiona is round.[(triple12)] @1: Bob is furry.[(((triple1) -> rule1))] @2: Bob is smart.[(((triple1 ((triple1) -> rule1)) -> rule2))]