Bob is cold. Bob is green. Bob is kind. Dave is blue. Dave is not rough. Dave is smart. Dave is young. Erin is cold. Erin is rough. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Fiona is young. If something is blue and smart then it is green. If Bob is green and Bob is not cold then Bob is rough. Rough things are not young. If something is kind and not cold then it is rough. If Bob is green and Bob is cold then Bob is not smart. If Bob is cold then Bob is green.
Dave is kind.
@0: Bob is cold.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule6))] Bob is kind.[(triple3)] Dave is blue.[(triple4)] Dave is not rough.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is rough.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11)] Fiona is green.[(triple12 OR ((triple10 triple14) -> rule1))] Fiona is kind.[(triple13)] Fiona is smart.[(triple14)] Fiona is young.[(triple15)] @1: Bob is not smart.[(((triple2 triple1) -> rule5) OR ((((triple1) -> rule6) triple1) -> rule5))] Dave is green.[(((triple4 triple6) -> rule1))] Erin is not young.[(((triple9) -> rule3))]