Charlie is quiet. Charlie is red. Charlie is smart. Dave is kind. Dave is quiet. Dave is smart. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Cold people are red. All red people are quiet. All big people are cold. If someone is cold then they are kind. If Erin is kind then Erin is big. If someone is big then they are cold.
Charlie is not cold.
@0: Charlie is quiet.[(triple1 OR ((triple2) -> rule2))] Charlie is red.[(triple2)] Charlie is smart.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is smart.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((((triple9) -> rule5)) -> rule3) OR ((((triple9) -> rule5)) -> rule6))] Erin is kind.[(triple9 OR ((triple8) -> rule4))] Erin is quiet.[(triple10 OR ((((triple8) -> rule1)) -> rule2) OR ((((((((triple9) -> rule5)) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple9) -> rule5)) -> rule6)) -> rule1)) -> rule2))] @1: Erin is big.[(((triple9) -> rule5) OR ((((triple8) -> rule4)) -> rule5))] Erin is red.[(((triple8) -> rule1) OR ((((((triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((triple9) -> rule5)) -> rule6)) -> rule1))]