Bob is smart. Bob is white. Bob is young. Erin is green. Erin is red. Erin is rough. Erin is smart. Fiona is smart. Fiona is white. Harry is red. Harry is smart. Harry is young. White people are blue. All rough people are blue. All rough people are green. Red people are smart. Young, white people are red. If Harry is young and Harry is smart then Harry is white. Blue people are red. If someone is blue then they are smart.
Erin is white.
@0: Bob is smart.[(triple1 OR ((((triple2) -> rule1)) -> rule8) OR ((((triple3 triple2) -> rule5)) -> rule4) OR ((((((triple2) -> rule1)) -> rule7)) -> rule4))] Bob is white.[(triple2)] Bob is young.[(triple3)] Erin is green.[(triple4 OR ((triple6) -> rule3))] Erin is red.[(triple5 OR ((((triple6) -> rule2)) -> rule7))] Erin is rough.[(triple6)] Erin is smart.[(triple7 OR ((triple5) -> rule4) OR ((((triple6) -> rule2)) -> rule8) OR ((((((triple6) -> rule2)) -> rule7)) -> rule4))] Fiona is smart.[(triple8 OR ((((triple9) -> rule1)) -> rule8) OR ((((((triple9) -> rule1)) -> rule7)) -> rule4))] Fiona is white.[(triple9)] Harry is red.[(triple10 OR ((triple12 ((triple12 triple11) -> rule6)) -> rule5) OR ((((((triple12 triple11) -> rule6)) -> rule1)) -> rule7))] Harry is smart.[(triple11 OR ((triple10) -> rule4))] Harry is young.[(triple12)] @1: Bob is blue.[(((triple2) -> rule1))] Bob is red.[(((triple3 triple2) -> rule5) OR ((((triple2) -> rule1)) -> rule7))] Erin is blue.[(((triple6) -> rule2))] Fiona is blue.[(((triple9) -> rule1))] Harry is white.[(((triple12 triple11) -> rule6) OR ((triple12 ((triple10) -> rule4)) -> rule6))] @2: Fiona is red.[(((((triple9) -> rule1)) -> rule7))] Harry is blue.[(((((triple12 triple11) -> rule6)) -> rule1) OR ((((triple12 ((triple10) -> rule4)) -> rule6)) -> rule1))]