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