Anne is smart. Bob is cold. Bob is nice. Bob is round. Charlie is cold. Erin is cold. Erin is round. All big people are young. If someone is smart then they are not cold. All nice, smart people are not cold. If someone is cold then they are big. If someone is round and smart then they are nice. Round, smart people are not nice. Cold, young people are nice. If someone is young then they are round.
Charlie is big.
@0: Anne is smart.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple2 ((((triple2) -> rule4)) -> rule1)) -> rule7))] Bob is round.[(triple4 OR ((((((triple2) -> rule4)) -> rule1)) -> rule8))] Charlie is cold.[(triple5)] Erin is cold.[(triple6)] Erin is round.[(triple7 OR ((((((triple6) -> rule4)) -> rule1)) -> rule8))] @1: Anne is not cold.[(((triple1) -> rule2))] Bob is big.[(((triple2) -> rule4))] Charlie is big.[(((triple5) -> rule4))] Erin is big.[(((triple6) -> rule4))] @2: Bob is young.[(((((triple2) -> rule4)) -> rule1))] Charlie is young.[(((((triple5) -> rule4)) -> rule1))] Erin is young.[(((((triple6) -> rule4)) -> rule1))] @3: Charlie is nice.[(((triple5 ((((triple5) -> rule4)) -> rule1)) -> rule7))] Charlie is round.[(((((((triple5) -> rule4)) -> rule1)) -> rule8))] Erin is nice.[(((triple6 ((((triple6) -> rule4)) -> rule1)) -> rule7))]