Bob is kind. Bob is round. Charlie is green. Charlie is red. Charlie is round. Charlie is young. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. All green people are round. Kind people are round. Nice people are green. If someone is green and red then they are round. If someone is round then they are nice. If Bob is red then Bob is kind. Nice, blue people are green. If someone is kind then they are blue.
Erin is nice.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2 OR ((triple1) -> rule2))] Charlie is green.[(triple3 OR ((((triple5) -> rule5)) -> rule3))] Charlie is red.[(triple4)] Charlie is round.[(triple5 OR ((triple3) -> rule1) OR ((triple3 triple4) -> rule4))] Charlie is young.[(triple6)] Erin is blue.[(triple7 OR ((triple9) -> rule8))] Erin is green.[(triple8 OR ((triple10) -> rule3) OR ((triple10 triple7) -> rule7) OR ((((triple12) -> rule5)) -> rule3) OR ((triple10 ((triple9) -> rule8)) -> rule7) OR ((((triple12) -> rule5) triple7) -> rule7) OR ((((triple12) -> rule5) ((triple9) -> rule8)) -> rule7) OR ((((((triple9) -> rule2)) -> rule5)) -> rule3) OR ((((((triple9) -> rule2)) -> rule5) triple7) -> rule7) OR ((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule8)) -> rule7))] Erin is kind.[(triple9)] Erin is nice.[(triple10 OR ((triple12) -> rule5) OR ((((triple8) -> rule1)) -> rule5) OR ((((triple9) -> rule2)) -> rule5) OR ((((triple8 triple11) -> rule4)) -> rule5))] Erin is red.[(triple11)] Erin is round.[(triple12 OR ((triple8) -> rule1) OR ((triple9) -> rule2) OR ((triple8 triple11) -> rule4) OR ((((triple10) -> rule3)) -> rule1) OR ((((triple10 triple7) -> rule7)) -> rule1) OR ((((triple10) -> rule3) triple11) -> rule4) OR ((((triple10 triple7) -> rule7) triple11) -> rule4) OR ((((triple10 ((triple9) -> rule8)) -> rule7)) -> rule1) OR ((((triple10 ((triple9) -> rule8)) -> rule7) triple11) -> rule4))] @1: Bob is blue.[(((triple1) -> rule8))] Bob is nice.[(((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] Charlie is nice.[(((triple5) -> rule5) OR ((((triple3) -> rule1)) -> rule5) OR ((((triple3 triple4) -> rule4)) -> rule5))] @2: Bob is green.[(((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5) ((triple1) -> rule8)) -> rule7) OR ((((((triple1) -> rule2)) -> rule5)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5) ((triple1) -> rule8)) -> rule7))]