Dave is big. Dave is quiet. Dave is rough. Dave is round. Dave is white. Erin is quiet. Erin is white. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. If someone is round then they are rough. White people are red. Rough, red people are round. If Erin is big and Erin is quiet then Erin is red. All white people are quiet. Big, quiet people are white.
Dave is not quiet.
@0: Dave is big.[(triple1)] Dave is quiet.[(triple2 OR ((triple5) -> rule5))] Dave is rough.[(triple3 OR ((triple4) -> rule1))] Dave is round.[(triple4 OR ((triple3 ((triple5) -> rule2)) -> rule3) OR ((triple3 ((((triple1 triple2) -> rule6)) -> rule2)) -> rule3))] Dave is white.[(triple5 OR ((triple1 triple2) -> rule6))] Erin is quiet.[(triple6 OR ((triple7) -> rule5))] Erin is white.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9 OR ((triple12) -> rule5))] Fiona is rough.[(triple10 OR ((triple11) -> rule1))] Fiona is round.[(triple11 OR ((triple10 ((triple12) -> rule2)) -> rule3))] Fiona is white.[(triple12)] @1: Dave is red.[(((triple5) -> rule2) OR ((((triple1 triple2) -> rule6)) -> rule2))] Erin is red.[(((triple7) -> rule2))] Fiona is red.[(((triple12) -> rule2))]