Charlie is red. Dave is cold. All furry people are kind. If someone is red then they are kind. Quiet people are kind. All round, quiet people are red. If someone is round then they are red. All quiet people are cold. If someone is cold then they are furry. Red people are quiet.
Charlie is cold.
@0: Charlie is red.[(triple1)] Dave is cold.[(triple2)] @1: Charlie is kind.[(((triple1) -> rule2) OR ((((triple1) -> rule8)) -> rule3) OR ((((((((triple1) -> rule8)) -> rule6)) -> rule7)) -> rule1))] Charlie is quiet.[(((triple1) -> rule8))] Dave is furry.[(((triple2) -> rule7))] @2: Charlie is cold.[(((((triple1) -> rule8)) -> rule6))] Dave is kind.[(((((triple2) -> rule7)) -> rule1))] @3: Charlie is furry.[(((((((triple1) -> rule8)) -> rule6)) -> rule7))]