Dave is nice. Dave is red. Erin is red. Fiona is rough. Fiona is round. Gary is cold. Gary is green. Gary is red. Gary is rough. Gary is not smart. Smart, round things are nice. Red things are nice. Rough, nice things are round. Cold things are rough. If something is red and nice then it is cold. All round things are green. If something is nice and not cold then it is green.
Gary is green.
@0: Dave is nice.[(triple1 OR ((triple2) -> rule2))] Dave is red.[(triple2)] Erin is red.[(triple3)] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Gary is cold.[(triple6 OR ((triple8 ((triple8) -> rule2)) -> rule5))] Gary is green.[(triple7 OR ((((triple9 ((triple8) -> rule2)) -> rule3)) -> rule6) OR ((((((triple6) -> rule4) ((triple8) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple8 ((triple8) -> rule2)) -> rule5)) -> rule4) ((triple8) -> rule2)) -> rule3)) -> rule6))] Gary is not smart.[(triple10)] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple6) -> rule4) OR ((((triple8 ((triple8) -> rule2)) -> rule5)) -> rule4))] @1: Dave is cold.[(((triple2 triple1) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule5))] Erin is nice.[(((triple3) -> rule2))] Fiona is green.[(((triple5) -> rule6))] Gary is nice.[(((triple8) -> rule2))] @2: Dave is rough.[(((((triple2 triple1) -> rule5)) -> rule4) OR ((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4))] Erin is cold.[(((triple3 ((triple3) -> rule2)) -> rule5))] Gary is round.[(((triple9 ((triple8) -> rule2)) -> rule3) OR ((((triple6) -> rule4) ((triple8) -> rule2)) -> rule3) OR ((((((triple8 ((triple8) -> rule2)) -> rule5)) -> rule4) ((triple8) -> rule2)) -> rule3))] @3: Dave is round.[(((((((triple2 triple1) -> rule5)) -> rule4) triple1) -> rule3) OR ((((((triple2 triple1) -> rule5)) -> rule4) ((triple2) -> rule2)) -> rule3) OR ((((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) triple1) -> rule3) OR ((((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) ((triple2) -> rule2)) -> rule3))] Erin is rough.[(((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4))] @4: Dave is green.[(((((((((triple2 triple1) -> rule5)) -> rule4) triple1) -> rule3)) -> rule6) OR ((((((((triple2 triple1) -> rule5)) -> rule4) ((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) triple1) -> rule3)) -> rule6) OR ((((((((triple2 ((triple2) -> rule2)) -> rule5)) -> rule4) ((triple2) -> rule2)) -> rule3)) -> rule6))] Erin is round.[(((((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule2)) -> rule3))] @5: Erin is green.[(((((((((triple3 ((triple3) -> rule2)) -> rule5)) -> rule4) ((triple3) -> rule2)) -> rule3)) -> rule6))]