Bob is blue. Bob is green. Bob is kind. Bob is round. Bob is smart. Charlie is green. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is young. Erin is red. Erin is round. Erin is smart. Erin is young. Red things are kind. If something is blue then it is young. All young things are red.
Charlie is not smart.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] Bob is round.[(triple4)] Bob is smart.[(triple5)] Charlie is green.[(triple6)] Charlie is kind.[(triple7 OR ((triple8) -> rule1) OR ((((triple11) -> rule3)) -> rule1))] Charlie is red.[(triple8 OR ((triple11) -> rule3))] Charlie is round.[(triple9)] Charlie is smart.[(triple10)] Charlie is young.[(triple11)] Erin is red.[(triple12 OR ((triple15) -> rule3))] Erin is round.[(triple13)] Erin is smart.[(triple14)] Erin is young.[(triple15)] @1: Bob is young.[(((triple1) -> rule2))] Erin is kind.[(((triple12) -> rule1) OR ((((triple15) -> rule3)) -> rule1))] @2: Bob is red.[(((((triple1) -> rule2)) -> rule3))]