Anne is cold. Anne is round. Bob is cold. Bob is round. Bob is smart. Bob is young. Fiona is cold. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. Harry is red. Smart, young things are red. If Anne is kind then Anne is rough. All kind things are round. If something is red then it is smart. Young, rough things are kind. If something is round and kind then it is cold.
Anne is cold.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2)] Bob is cold.[(triple3)] Bob is round.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Fiona is cold.[(triple7 OR ((((((triple11 triple9) -> rule5)) -> rule3) ((triple11 triple9) -> rule5)) -> rule6))] Fiona is red.[(triple8 OR ((triple10 triple11) -> rule1))] Fiona is rough.[(triple9)] Fiona is smart.[(triple10 OR ((triple8) -> rule4))] Fiona is young.[(triple11)] Harry is red.[(triple12)] @1: Bob is red.[(((triple5 triple6) -> rule1))] Fiona is kind.[(((triple11 triple9) -> rule5))] Harry is smart.[(((triple12) -> rule4))] @2: Fiona is round.[(((((triple11 triple9) -> rule5)) -> rule3))]