Bob is big. Bob is cold. Bob is furry. Charlie is round. Erin is big. Erin is cold. Erin is red. Harry is cold. Harry is furry. Harry is red. Harry is smart. Harry is white. All round people are white. All big people are red. All round, big people are cold. All white, big people are furry. If someone is big and white then they are red. All red people are big. All white people are furry. If someone is furry then they are red.
Harry is big.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule8)) -> rule6))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Charlie is round.[(triple4)] Erin is big.[(triple5 OR ((triple7) -> rule6))] Erin is cold.[(triple6)] Erin is red.[(triple7 OR ((triple5) -> rule2))] Harry is cold.[(triple8)] Harry is furry.[(triple9 OR ((triple12) -> rule7) OR ((triple12 ((triple10) -> rule6)) -> rule4))] Harry is red.[(triple10 OR ((triple9) -> rule8) OR ((((triple12) -> rule7)) -> rule8))] Harry is smart.[(triple11)] Harry is white.[(triple12)] @1: Bob is red.[(((triple1) -> rule2) OR ((triple3) -> rule8))] Charlie is white.[(((triple4) -> rule1))] Harry is big.[(((triple10) -> rule6) OR ((((triple9) -> rule8)) -> rule6) OR ((((((triple12) -> rule7)) -> rule8)) -> rule6))] @2: Charlie is furry.[(((((triple4) -> rule1)) -> rule7))] @3: Charlie is red.[(((((((triple4) -> rule1)) -> rule7)) -> rule8))] @4: Charlie is big.[(((((((((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule6))] @5: Charlie is cold.[(((triple4 ((((((((triple4) -> rule1)) -> rule7)) -> rule8)) -> rule6)) -> rule3))]