Dave is blue. Dave is cold. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is red. Furry, red things are blue. If something is red then it is cold. If something is quiet and red then it is smart. If something is red then it is smart. All furry things are kind. If Fiona is kind then Fiona is red.
Dave is not cold.
@0: Dave is blue.[(triple1 OR ((triple3 triple6) -> rule1))] Dave is cold.[(triple2 OR ((triple6) -> rule2))] Dave is furry.[(triple3)] Dave is kind.[(triple4 OR ((triple3) -> rule5))] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple7 OR ((triple6) -> rule4) OR ((triple5 triple6) -> rule3))] Fiona is blue.[(triple8 OR ((triple10 triple12) -> rule1) OR ((triple10 ((triple11) -> rule6)) -> rule1) OR ((triple10 ((((triple10) -> rule5)) -> rule6)) -> rule1))] Fiona is cold.[(triple9 OR ((triple12) -> rule2) OR ((((triple11) -> rule6)) -> rule2) OR ((((((triple10) -> rule5)) -> rule6)) -> rule2))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11 OR ((triple10) -> rule5))] Fiona is red.[(triple12 OR ((triple11) -> rule6) OR ((((triple10) -> rule5)) -> rule6))] @1: Fiona is smart.[(((triple12) -> rule4) OR ((((triple11) -> rule6)) -> rule4) OR ((((((triple10) -> rule5)) -> rule6)) -> rule4))]