Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is red. Bob is smart. Dave is big. Dave is blue. Dave is kind. Dave is red. Dave is smart. Erin is big. Erin is kind. Erin is red. Gary is blue. Gary is red. All kind people are green. All red people are kind.
Erin is not smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple4) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Bob is kind.[(triple4 OR ((triple5) -> rule2))] Bob is red.[(triple5)] Bob is smart.[(triple6)] Dave is big.[(triple7)] Dave is blue.[(triple8)] Dave is kind.[(triple9 OR ((triple10) -> rule2))] Dave is red.[(triple10)] Dave is smart.[(triple11)] Erin is big.[(triple12)] Erin is kind.[(triple13 OR ((triple14) -> rule2))] Erin is red.[(triple14)] Gary is blue.[(triple15)] Gary is red.[(triple16)] @1: Dave is green.[(((triple9) -> rule1) OR ((((triple10) -> rule2)) -> rule1))] Erin is green.[(((triple13) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] Gary is kind.[(((triple16) -> rule2))] @2: Gary is green.[(((((triple16) -> rule2)) -> rule1))]