Bob is kind. Charlie is big. Charlie is kind. Charlie is not quiet. Charlie is young. Dave is not blue. Dave is green. Dave is kind. Fiona is not kind. Fiona is young. If Fiona is blue then Fiona is quiet. All young people are cold. All green people are not blue. If someone is kind and not blue then they are big. If Charlie is big and Charlie is kind then Charlie is not quiet. If someone is blue then they are quiet. If someone is cold and not big then they are quiet. If someone is blue then they are quiet.
Charlie is not big.
@0: Bob is kind.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3)] Charlie is not quiet.[(triple4 OR ((triple2 triple3) -> rule5))] Charlie is young.[(triple5)] Dave is green.[(triple7)] Dave is kind.[(triple8)] Dave is not blue.[(triple6 OR ((triple7) -> rule3))] Fiona is not kind.[(triple9)] Fiona is young.[(triple10)] @1: Charlie is cold.[(((triple5) -> rule2))] Dave is big.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple7) -> rule3)) -> rule4))] Fiona is cold.[(((triple10) -> rule2))]