Dave is blue. Dave is rough. Dave is young. Erin is blue. Erin is round. Erin is young. Fiona is rough. Gary is green. Gary is nice. Gary is young. Rough things are round. Green, nice things are quiet. Round, rough things are green. All quiet things are green. All green things are nice. All quiet things are rough. All rough, nice things are quiet. All quiet, green things are rough. If something is nice and quiet then it is blue.
Erin is not young.
@0: Dave is blue.[(triple1 OR ((((((((triple2) -> rule1) triple2) -> rule3)) -> rule5) ((triple2 ((((((triple2) -> rule1) triple2) -> rule3)) -> rule5)) -> rule7)) -> rule9) OR ((((((((triple2) -> rule1) triple2) -> rule3)) -> rule5) ((((((triple2) -> rule1) triple2) -> rule3) ((((((triple2) -> rule1) triple2) -> rule3)) -> rule5)) -> rule2)) -> rule9))] Dave is rough.[(triple2)] Dave is young.[(triple3)] Erin is blue.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Fiona is rough.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9 OR ((triple8) -> rule5))] Gary is young.[(triple10)] @1: Dave is round.[(((triple2) -> rule1))] Fiona is round.[(((triple7) -> rule1))] Gary is quiet.[(((triple8 triple9) -> rule2) OR ((triple8 ((triple8) -> rule5)) -> rule2))] @2: Dave is green.[(((((triple2) -> rule1) triple2) -> rule3))] Fiona is green.[(((((triple7) -> rule1) triple7) -> rule3))] Gary is blue.[(((triple9 ((triple8 triple9) -> rule2)) -> rule9) OR ((((triple8) -> rule5) ((triple8 triple9) -> rule2)) -> rule9) OR ((triple9 ((triple8 ((triple8) -> rule5)) -> rule2)) -> rule9) OR ((((triple8) -> rule5) ((triple8 ((triple8) -> rule5)) -> rule2)) -> rule9))] Gary is rough.[(((((triple8 triple9) -> rule2)) -> rule6) OR ((((triple8 triple9) -> rule2) triple8) -> rule8) OR ((((triple8 ((triple8) -> rule5)) -> rule2)) -> rule6) OR ((((triple8 ((triple8) -> rule5)) -> rule2) triple8) -> rule8))] @3: Dave is nice.[(((((((triple2) -> rule1) triple2) -> rule3)) -> rule5))] Fiona is nice.[(((((((triple7) -> rule1) triple7) -> rule3)) -> rule5))] Gary is round.[(((((((triple8 triple9) -> rule2)) -> rule6)) -> rule1) OR ((((((triple8 triple9) -> rule2) triple8) -> rule8)) -> rule1) OR ((((((triple8 ((triple8) -> rule5)) -> rule2)) -> rule6)) -> rule1) OR ((((((triple8 ((triple8) -> rule5)) -> rule2) triple8) -> rule8)) -> rule1))] @4: Dave is quiet.[(((triple2 ((((((triple2) -> rule1) triple2) -> rule3)) -> rule5)) -> rule7) OR ((((((triple2) -> rule1) triple2) -> rule3) ((((((triple2) -> rule1) triple2) -> rule3)) -> rule5)) -> rule2))] Fiona is quiet.[(((triple7 ((((((triple7) -> rule1) triple7) -> rule3)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule3) ((((((triple7) -> rule1) triple7) -> rule3)) -> rule5)) -> rule2))] @5: Fiona is blue.[(((((((((triple7) -> rule1) triple7) -> rule3)) -> rule5) ((triple7 ((((((triple7) -> rule1) triple7) -> rule3)) -> rule5)) -> rule7)) -> rule9) OR ((((((((triple7) -> rule1) triple7) -> rule3)) -> rule5) ((((((triple7) -> rule1) triple7) -> rule3) ((((((triple7) -> rule1) triple7) -> rule3)) -> rule5)) -> rule2)) -> rule9))]