Dave is green. Dave is kind. Dave is red. Dave is round. Dave is smart. Fiona is blue. Fiona is green. Fiona is red. Fiona is round. Fiona is smart. Fiona is young. Gary is green. Gary is red. Gary is round. Gary is smart. If someone is smart and blue then they are round. All round people are red. All kind people are blue. If Dave is round then Dave is kind. If someone is kind then they are young. All smart, green people are young.
Dave is round.
@0: Dave is green.[(triple1)] Dave is kind.[(triple2 OR ((triple4) -> rule4))] Dave is red.[(triple3 OR ((triple4) -> rule2) OR ((((triple5 ((triple2) -> rule3)) -> rule1)) -> rule2))] Dave is round.[(triple4 OR ((triple5 ((triple2) -> rule3)) -> rule1))] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is green.[(triple7)] Fiona is red.[(triple8 OR ((triple9) -> rule2) OR ((((triple10 triple6) -> rule1)) -> rule2))] Fiona is round.[(triple9 OR ((triple10 triple6) -> rule1))] Fiona is smart.[(triple10)] Fiona is young.[(triple11 OR ((triple10 triple7) -> rule6))] Gary is green.[(triple12)] Gary is red.[(triple13 OR ((triple14) -> rule2))] Gary is round.[(triple14)] Gary is smart.[(triple15)] @1: Dave is blue.[(((triple2) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Dave is young.[(((triple2) -> rule5) OR ((triple5 triple1) -> rule6) OR ((((triple4) -> rule4)) -> rule5))] Gary is young.[(((triple15 triple12) -> rule6))]