Dave is big. Dave is cold. Dave is rough. Erin is big. Fiona is big. Gary is cold. Gary is rough. If someone is nice then they are big. All big people are green. Blue people are big. All green people are round. Nice people are rough. Big, green people are blue. Nice, big people are blue. Rough people are blue.
Erin is rough.
@0: Dave is big.[(triple1 OR ((((triple3) -> rule8)) -> rule3))] Dave is cold.[(triple2)] Dave is rough.[(triple3)] Erin is big.[(triple4)] Fiona is big.[(triple5)] Gary is cold.[(triple6)] Gary is rough.[(triple7)] @1: Dave is blue.[(((triple3) -> rule8) OR ((triple1 ((triple1) -> rule2)) -> rule6))] Dave is green.[(((triple1) -> rule2) OR ((((((triple3) -> rule8)) -> rule3)) -> rule2))] Erin is green.[(((triple4) -> rule2))] Fiona is green.[(((triple5) -> rule2))] Gary is blue.[(((triple7) -> rule8))] @2: Dave is round.[(((((triple1) -> rule2)) -> rule4) OR ((((((((triple3) -> rule8)) -> rule3)) -> rule2)) -> rule4))] Erin is blue.[(((triple4 ((triple4) -> rule2)) -> rule6))] Erin is round.[(((((triple4) -> rule2)) -> rule4))] Fiona is blue.[(((triple5 ((triple5) -> rule2)) -> rule6))] Fiona is round.[(((((triple5) -> rule2)) -> rule4))] Gary is big.[(((((triple7) -> rule8)) -> rule3))] @3: Gary is green.[(((((((triple7) -> rule8)) -> rule3)) -> rule2))] @4: Gary is round.[(((((((((triple7) -> rule8)) -> rule3)) -> rule2)) -> rule4))]