Bob is blue. Bob is round. Bob is smart. Bob is young. Erin is blue. Erin is round. Fiona is big. Fiona is kind. Fiona is round. Fiona is white. Fiona is young. Gary is round. If something is young and smart then it is blue. If something is young then it is big. White, smart things are kind. Blue things are young. Round things are kind. If Bob is blue then Bob is young. All young, white things are kind. Smart, white things are blue.
Fiona is not blue.
@0: Bob is blue.[(triple1 OR ((triple4 triple3) -> rule1))] Bob is round.[(triple2)] Bob is smart.[(triple3)] Bob is young.[(triple4 OR ((triple1) -> rule4) OR ((triple1) -> rule6))] Erin is blue.[(triple5)] Erin is round.[(triple6)] Fiona is big.[(triple7 OR ((triple11) -> rule2))] Fiona is kind.[(triple8 OR ((triple9) -> rule5) OR ((triple11 triple10) -> rule7))] Fiona is round.[(triple9)] Fiona is white.[(triple10)] Fiona is young.[(triple11)] Gary is round.[(triple12)] @1: Bob is big.[(((triple4) -> rule2) OR ((((triple1) -> rule4)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Bob is kind.[(((triple2) -> rule5))] Erin is kind.[(((triple6) -> rule5))] Erin is young.[(((triple5) -> rule4))] Gary is kind.[(((triple12) -> rule5))] @2: Erin is big.[(((((triple5) -> rule4)) -> rule2))]