Bob is big. Bob is blue. Bob is young. Dave is cold. Dave is furry. Dave is green. Fiona is cold. Fiona is furry. Gary is blue. Gary is furry. Cold things are big. All big things are blue. If something is cold then it is blue. Cold, round things are young. Cold, round things are furry. All blue, green things are round.
Gary is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule2))] Bob is young.[(triple3)] Dave is cold.[(triple4)] Dave is furry.[(triple5 OR ((triple4 ((((triple4) -> rule3) triple6) -> rule6)) -> rule5) OR ((triple4 ((((((triple4) -> rule1)) -> rule2) triple6) -> rule6)) -> rule5))] Dave is green.[(triple6)] Fiona is cold.[(triple7)] Fiona is furry.[(triple8)] Gary is blue.[(triple9)] Gary is furry.[(triple10)] @1: Dave is big.[(((triple4) -> rule1))] Dave is blue.[(((triple4) -> rule3) OR ((((triple4) -> rule1)) -> rule2))] Fiona is big.[(((triple7) -> rule1))] Fiona is blue.[(((triple7) -> rule3) OR ((((triple7) -> rule1)) -> rule2))] @2: Dave is round.[(((((triple4) -> rule3) triple6) -> rule6) OR ((((((triple4) -> rule1)) -> rule2) triple6) -> rule6))] @3: Dave is young.[(((triple4 ((((triple4) -> rule3) triple6) -> rule6)) -> rule4) OR ((triple4 ((((((triple4) -> rule1)) -> rule2) triple6) -> rule6)) -> rule4))]