Dave is green. Dave is not nice. Dave is red. Dave is smart. Dave is young. Erin is furry. Erin is nice. Erin is quiet. Fiona is not red. Gary is young. Nice things are young. If Fiona is smart then Fiona is young. If something is green and red then it is furry. If something is young and furry then it is red. If Erin is furry then Erin is smart. Red things are green.
Gary is green.
@0: Dave is green.[(triple1 OR ((triple3) -> rule6))] Dave is not nice.[(triple2)] Dave is red.[(triple3)] Dave is smart.[(triple4)] Dave is young.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Fiona is not red.[(triple9)] Gary is young.[(triple10)] @1: Dave is furry.[(((triple1 triple3) -> rule3) OR ((((triple3) -> rule6) triple3) -> rule3))] Erin is smart.[(((triple6) -> rule5))] Erin is young.[(((triple7) -> rule1))] @2: Erin is red.[(((((triple7) -> rule1) triple6) -> rule4))] @3: Erin is green.[(((((((triple7) -> rule1) triple6) -> rule4)) -> rule6))]