Charlie is young. Fiona is blue. Fiona is cold. Gary is big. Harry is cold. Harry is smart. Harry is young. All young things are cold. If Gary is kind then Gary is furry. If something is big and smart then it is kind. Big, kind things are young. If something is smart and kind then it is blue. All big, smart things are blue. Cold things are kind. If something is blue then it is young.
Charlie is not young.
@0: Charlie is young.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3 OR ((((triple2) -> rule8)) -> rule1))] Gary is big.[(triple4)] Harry is cold.[(triple5 OR ((triple7) -> rule1))] Harry is smart.[(triple6)] Harry is young.[(triple7 OR ((((triple6 ((triple5) -> rule7)) -> rule5)) -> rule8))] @1: Charlie is cold.[(((triple1) -> rule1))] Fiona is kind.[(((triple3) -> rule7) OR ((((((triple2) -> rule8)) -> rule1)) -> rule7))] Fiona is young.[(((triple2) -> rule8))] Harry is kind.[(((triple5) -> rule7) OR ((((triple7) -> rule1)) -> rule7))] @2: Charlie is kind.[(((((triple1) -> rule1)) -> rule7))] Harry is blue.[(((triple6 ((triple5) -> rule7)) -> rule5) OR ((triple6 ((((triple7) -> rule1)) -> rule7)) -> rule5))]