Bob is rough. Bob is not round. Dave is blue. Dave is cold. Dave is round. Erin is blue. Erin is not cold. Erin is green. Erin is kind. Erin is rough. Erin is smart. Fiona is blue. Fiona is rough. Fiona is round. Fiona is smart. Kind people are smart. If someone is green and rough then they are smart. If someone is rough then they are kind. If Bob is blue then Bob is not cold. If Bob is kind then Bob is cold. If someone is cold and blue then they are rough. All cold, blue people are rough. If Bob is not blue then Bob is not rough.
Bob is rough.
@0: Bob is not round.[(triple2)] Bob is rough.[(triple1)] Dave is blue.[(triple3)] Dave is cold.[(triple4)] Dave is round.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple8)] Erin is kind.[(triple9 OR ((triple10) -> rule3))] Erin is not cold.[(triple7)] Erin is rough.[(triple10)] Erin is smart.[(triple11 OR ((triple9) -> rule1) OR ((triple8 triple10) -> rule2) OR ((((triple10) -> rule3)) -> rule1))] Fiona is blue.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14)] Fiona is smart.[(triple15 OR ((((triple13) -> rule3)) -> rule1))] @1: Bob is kind.[(((triple1) -> rule3))] Dave is rough.[(((triple4 triple3) -> rule6) OR ((triple4 triple3) -> rule7))] Fiona is kind.[(((triple13) -> rule3))] @2: Bob is cold.[(((((triple1) -> rule3)) -> rule5))] Bob is smart.[(((((triple1) -> rule3)) -> rule1))] Dave is kind.[(((((triple4 triple3) -> rule6)) -> rule3) OR ((((triple4 triple3) -> rule7)) -> rule3))] @3: Dave is smart.[(((((((triple4 triple3) -> rule6)) -> rule3)) -> rule1) OR ((((((triple4 triple3) -> rule7)) -> rule3)) -> rule1))]