Dave is cold. Dave is round. Fiona is white. Gary is cold. Gary is green. Gary is round. Harry is round. If something is young then it is white. If something is young and cold then it is nice. If something is cold and white then it is green. Nice things are young. If something is nice and young then it is white. Cold things are young.
Dave is green.
@0: Dave is cold.[(triple1)] Dave is round.[(triple2)] Fiona is white.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5 OR ((triple4 ((((triple4) -> rule6)) -> rule1)) -> rule3) OR ((triple4 ((((((triple4) -> rule6) triple4) -> rule2) ((triple4) -> rule6)) -> rule5)) -> rule3))] Gary is round.[(triple6)] Harry is round.[(triple7)] @1: Dave is young.[(((triple1) -> rule6))] Gary is young.[(((triple4) -> rule6))] @2: Dave is nice.[(((((triple1) -> rule6) triple1) -> rule2))] Dave is white.[(((((triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule6) triple1) -> rule2) ((triple1) -> rule6)) -> rule5))] Gary is nice.[(((((triple4) -> rule6) triple4) -> rule2))] Gary is white.[(((((triple4) -> rule6)) -> rule1) OR ((((((triple4) -> rule6) triple4) -> rule2) ((triple4) -> rule6)) -> rule5))] @3: Dave is green.[(((triple1 ((((triple1) -> rule6)) -> rule1)) -> rule3) OR ((triple1 ((((((triple1) -> rule6) triple1) -> rule2) ((triple1) -> rule6)) -> rule5)) -> rule3))]