Bob is blue. Bob is nice. Bob is young. Dave is kind. Dave is nice. Dave is smart. Fiona is blue. All smart things are quiet. If something is quiet then it is nice. All big things are nice. If something is nice then it is smart. All nice things are blue. If something is big and quiet then it is nice.
Fiona is kind.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule5))] Bob is nice.[(triple2)] Bob is young.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5 OR ((((triple6) -> rule1)) -> rule2))] Dave is smart.[(triple6 OR ((triple5) -> rule4))] Fiona is blue.[(triple7)] @1: Bob is smart.[(((triple2) -> rule4))] Dave is blue.[(((triple5) -> rule5) OR ((((((triple6) -> rule1)) -> rule2)) -> rule5))] Dave is quiet.[(((triple6) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] @2: Bob is quiet.[(((((triple2) -> rule4)) -> rule1))]