Bob is big. Bob is blue. Bob is cold. Bob is smart. Bob is white. Charlie is cold. Charlie is furry. Charlie is smart. Charlie is white. Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is smart. Erin is white. All cold people are green. All green people are blue. All blue, cold people are big.
Bob is smart.
@0: Bob is big.[(triple1 OR ((triple2 triple3) -> rule3) OR ((((((triple3) -> rule1)) -> rule2) triple3) -> rule3))] Bob is blue.[(triple2 OR ((((triple3) -> rule1)) -> rule2))] Bob is cold.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7)] Charlie is smart.[(triple8)] Charlie is white.[(triple9)] Erin is big.[(triple10 OR ((triple11 triple12) -> rule3) OR ((((triple13) -> rule2) triple12) -> rule3) OR ((((((triple12) -> rule1)) -> rule2) triple12) -> rule3))] Erin is blue.[(triple11 OR ((triple13) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Erin is cold.[(triple12)] Erin is green.[(triple13 OR ((triple12) -> rule1))] Erin is smart.[(triple14)] Erin is white.[(triple15)] @1: Bob is green.[(((triple3) -> rule1))] Charlie is green.[(((triple6) -> rule1))] @2: Charlie is blue.[(((((triple6) -> rule1)) -> rule2))] @3: Charlie is big.[(((((((triple6) -> rule1)) -> rule2) triple6) -> rule3))]