Bob is kind. Bob is red. Bob is round. Bob is young. Charlie is cold. Charlie is kind. Fiona is young. If something is young then it is round. All round, cold things are young. All round things are kind. Cold things are quiet. If something is cold and round then it is quiet. If something is kind and round then it is young. If something is round and quiet then it is kind. All cold things are quiet.
Fiona is red.
@0: Bob is kind.[(triple1 OR ((triple3) -> rule3) OR ((((triple4) -> rule1)) -> rule3))] Bob is red.[(triple2)] Bob is round.[(triple3 OR ((triple4) -> rule1))] Bob is young.[(triple4 OR ((triple1 triple3) -> rule6) OR ((((triple3) -> rule3) triple3) -> rule6))] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is quiet.[(((triple5) -> rule4) OR ((triple5) -> rule8))] Fiona is round.[(((triple7) -> rule1))] @2: Fiona is kind.[(((((triple7) -> rule1)) -> rule3))]