Charlie is not big. Charlie is green. Dave is not big. Dave is furry. Dave is red. Dave is smart. Dave is not white. Fiona is big. Fiona is furry. Fiona is white. Red, green people are white. All red, young people are furry. All green people are red. If someone is white then they are green. All white people are young. If someone is smart and green then they are young.
Charlie is young.
@0: Charlie is green.[(triple2)] Charlie is not big.[(triple1)] Dave is furry.[(triple4)] Dave is not big.[(triple3)] Dave is not white.[(triple7)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((((((triple10) -> rule4)) -> rule3) ((triple10) -> rule5)) -> rule2))] Fiona is white.[(triple10)] @1: Charlie is red.[(((triple2) -> rule3))] Fiona is green.[(((triple10) -> rule4))] Fiona is young.[(((triple10) -> rule5))] @2: Charlie is white.[(((((triple2) -> rule3) triple2) -> rule1))] Fiona is red.[(((((triple10) -> rule4)) -> rule3))] @3: Charlie is young.[(((((((triple2) -> rule3) triple2) -> rule1)) -> rule5))] @4: Charlie is furry.[(((((triple2) -> rule3) ((((((triple2) -> rule3) triple2) -> rule1)) -> rule5)) -> rule2))]