Bob is cold. Bob is young. Charlie is rough. Charlie is young. Erin is furry. Erin is kind. Erin is smart. Erin is young. Fiona is cold. Fiona is kind. If someone is kind and furry then they are young. If someone is young and cold then they are rough. If Erin is kind then Erin is white. If someone is kind then they are white. If Bob is kind then Bob is smart. All rough people are smart.
Fiona is not smart.
@0: Bob is cold.[(triple1)] Bob is young.[(triple2)] Charlie is rough.[(triple3)] Charlie is young.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is smart.[(triple7)] Erin is young.[(triple8 OR ((triple6 triple5) -> rule1))] Fiona is cold.[(triple9)] Fiona is kind.[(triple10)] @1: Bob is rough.[(((triple2 triple1) -> rule2))] Charlie is smart.[(((triple3) -> rule6))] Erin is white.[(((triple6) -> rule3) OR ((triple6) -> rule4))] Fiona is white.[(((triple10) -> rule4))] @2: Bob is smart.[(((((triple2 triple1) -> rule2)) -> rule6))]