Bob is red. Bob is smart. Bob is white. Dave is smart. Fiona is rough. Fiona is white. Gary is blue. Gary is red. Gary is rough. Gary is young. All smart people are red. White, blue people are quiet. Quiet, rough people are young. All rough people are young. All white, young people are red. All red people are rough.
Fiona is white.
@0: Bob is red.[(triple1 OR ((triple2) -> rule1))] Bob is smart.[(triple2)] Bob is white.[(triple3)] Dave is smart.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Gary is blue.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple8) -> rule6))] Gary is young.[(triple10 OR ((triple9) -> rule4) OR ((((triple8) -> rule6)) -> rule4))] @1: Bob is rough.[(((triple1) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] Dave is red.[(((triple4) -> rule1))] Fiona is young.[(((triple5) -> rule4))] @2: Bob is young.[(((((triple1) -> rule6)) -> rule4) OR ((((((triple2) -> rule1)) -> rule6)) -> rule4))] Dave is rough.[(((((triple4) -> rule1)) -> rule6))] Fiona is red.[(((triple6 ((triple5) -> rule4)) -> rule5))] @3: Dave is young.[(((((((triple4) -> rule1)) -> rule6)) -> rule4))]