Bob is big. Bob is kind. Charlie is kind. Charlie is nice. Charlie is not smart. Erin is furry. Erin is nice. Erin is young. Fiona is big. Fiona is not furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is white. Fiona is young. Kind things are big. Young things are kind. Kind things are young.
Charlie is furry.
@0: Bob is big.[(triple1 OR ((triple2) -> rule1))] Bob is kind.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is not smart.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is young.[(triple8)] Fiona is big.[(triple9 OR ((triple11) -> rule1) OR ((((triple15) -> rule2)) -> rule1))] Fiona is kind.[(triple11 OR ((triple15) -> rule2))] Fiona is nice.[(triple12)] Fiona is not furry.[(triple10)] Fiona is smart.[(triple13)] Fiona is white.[(triple14)] Fiona is young.[(triple15 OR ((triple11) -> rule3))] @1: Bob is young.[(((triple2) -> rule3))] Charlie is big.[(((triple3) -> rule1))] Charlie is young.[(((triple3) -> rule3))] Erin is kind.[(((triple8) -> rule2))] @2: Erin is big.[(((((triple8) -> rule2)) -> rule1))]