Bob is blue. Bob is cold. Bob is quiet. Charlie is not blue. Charlie is not nice. Charlie is smart. Charlie is young. Erin is cold. Erin is nice. Erin is quiet. Erin is smart. Erin is young. If something is cold and kind then it is young. Blue things are quiet. If something is cold and quiet then it is kind.
Charlie is not quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3 OR ((triple1) -> rule2))] Charlie is not blue.[(triple4)] Charlie is not nice.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7)] Erin is cold.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12 OR ((triple8 ((triple8 triple10) -> rule3)) -> rule1))] @1: Bob is kind.[(((triple2 triple3) -> rule3) OR ((triple2 ((triple1) -> rule2)) -> rule3))] Erin is kind.[(((triple8 triple10) -> rule3))] @2: Bob is young.[(((triple2 ((triple2 triple3) -> rule3)) -> rule1) OR ((triple2 ((triple2 ((triple1) -> rule2)) -> rule3)) -> rule1))]