Bob is green. Bob is kind. Bob is round. Charlie is blue. Charlie is cold. Charlie is red. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is round. Kind, cold things are round. Green, kind things are red. All green, big things are cold.
Charlie is kind.
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Erin is big.[(triple7)] Erin is cold.[(triple8 OR ((triple9 triple7) -> rule3))] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is red.[(triple11 OR ((triple9 triple10) -> rule2))] Erin is round.[(triple12 OR ((triple10 triple8) -> rule1) OR ((triple10 ((triple9 triple7) -> rule3)) -> rule1))] @1: Bob is red.[(((triple1 triple2) -> rule2))]