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