Bob is green. Charlie is not green. Dave is rough. Fiona is red. If Bob is not blue then Bob is big. All red, green people are young. If someone is green then they are red. If Charlie is red and Charlie is not kind then Charlie is blue. If Dave is blue then Dave is green. All rough people are green.
Fiona is not green.
@0: Bob is green.[(triple1)] Charlie is not green.[(triple2)] Dave is rough.[(triple3)] Fiona is red.[(triple4)] @1: Bob is red.[(((triple1) -> rule3))] Dave is green.[(((triple3) -> rule6))] @2: Bob is young.[(((((triple1) -> rule3) triple1) -> rule2))] Dave is red.[(((((triple3) -> rule6)) -> rule3))] @3: Dave is young.[(((((((triple3) -> rule6)) -> rule3) ((triple3) -> rule6)) -> rule2))]