Anne is young. Bob is kind. Charlie is blue. Charlie is quiet. Charlie is rough. Charlie is young. Fiona is kind. If something is kind then it is young. Blue things are young. If something is rough then it is nice. Rough, smart things are nice. All blue things are kind. All rough things are young. If Bob is blue and Bob is quiet then Bob is nice. All nice, kind things are smart.
Bob is young.
@0: Anne is young.[(triple1)] Bob is kind.[(triple2)] Charlie is blue.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is young.[(triple6 OR ((triple3) -> rule2) OR ((triple5) -> rule6) OR ((((triple3) -> rule5)) -> rule1))] Fiona is kind.[(triple7)] @1: Bob is young.[(((triple2) -> rule1))] Charlie is kind.[(((triple3) -> rule5))] Charlie is nice.[(((triple5) -> rule3))] Fiona is young.[(((triple7) -> rule1))] @2: Charlie is smart.[(((((triple5) -> rule3) ((triple3) -> rule5)) -> rule8))]