Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is round. Bob is young. Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Fiona is quiet. Fiona is round. Fiona is young. Kind, round things are nice. All nice, young things are blue. All quiet, young things are kind.
Bob is cold.
@0: Bob is blue.[(triple1 OR ((((triple3 triple5) -> rule1) triple6) -> rule2) OR ((((((triple4 triple6) -> rule3) triple5) -> rule1) triple6) -> rule2))] Bob is cold.[(triple2)] Bob is kind.[(triple3 OR ((triple4 triple6) -> rule3))] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is young.[(triple6)] Dave is blue.[(triple7)] Dave is cold.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10 OR ((triple9 triple12) -> rule1))] Dave is quiet.[(triple11)] Dave is round.[(triple12)] Fiona is quiet.[(triple13)] Fiona is round.[(triple14)] Fiona is young.[(triple15)] @1: Bob is nice.[(((triple3 triple5) -> rule1) OR ((((triple4 triple6) -> rule3) triple5) -> rule1))] Fiona is kind.[(((triple13 triple15) -> rule3))] @2: Fiona is nice.[(((((triple13 triple15) -> rule3) triple14) -> rule1))] @3: Fiona is blue.[(((((((triple13 triple15) -> rule3) triple14) -> rule1) triple15) -> rule2))]