Bob is green. Charlie is not big. Charlie is cold. Charlie is smart. Charlie is young. Erin is big. Erin is not green. Erin is smart. Erin is white. Erin is young. Fiona is green. Fiona is white. If something is smart then it is white. If something is red and not young then it is not white. All red, big things are white. If Bob is smart then Bob is cold. All green things are big. If something is young and green then it is smart. If something is big then it is smart. If Erin is green then Erin is big.
Bob is smart.
@0: Bob is green.[(triple1)] Charlie is cold.[(triple3)] Charlie is not big.[(triple2)] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Erin is big.[(triple6)] Erin is not green.[(triple7)] Erin is smart.[(triple8 OR ((triple6) -> rule7))] Erin is white.[(triple9 OR ((triple8) -> rule1) OR ((((triple6) -> rule7)) -> rule1))] Erin is young.[(triple10)] Fiona is green.[(triple11)] Fiona is white.[(triple12 OR ((((((triple11) -> rule5)) -> rule7)) -> rule1))] @1: Bob is big.[(((triple1) -> rule5))] Charlie is white.[(((triple4) -> rule1))] Fiona is big.[(((triple11) -> rule5))] @2: Bob is smart.[(((((triple1) -> rule5)) -> rule7))] Fiona is smart.[(((((triple11) -> rule5)) -> rule7))] @3: Bob is cold.[(((((((triple1) -> rule5)) -> rule7)) -> rule4))] Bob is white.[(((((((triple1) -> rule5)) -> rule7)) -> rule1))]