Bob is big. Bob is green. Bob is kind. Bob is round. Bob is smart. Bob is young. Charlie is big. Charlie is furry. Charlie is green. Charlie is smart. Charlie is young. Fiona is furry. Fiona is green. Fiona is kind. Fiona is round. Fiona is smart. All big, green people are young. Furry, round people are green. Big people are round. Kind people are round. If someone is round then they are young. Round people are green.
Bob is not furry.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple4) -> rule6) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Bob is kind.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule3) OR ((triple3) -> rule4))] Bob is smart.[(triple5)] Bob is young.[(triple6 OR ((triple4) -> rule5) OR ((triple1 triple2) -> rule1) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple3) -> rule4)) -> rule5) OR ((triple1 ((triple4) -> rule6)) -> rule1) OR ((triple1 ((((triple1) -> rule3)) -> rule6)) -> rule1) OR ((triple1 ((((triple3) -> rule4)) -> rule6)) -> rule1))] Charlie is big.[(triple7)] Charlie is furry.[(triple8)] Charlie is green.[(triple9 OR ((((triple7) -> rule3)) -> rule6) OR ((triple8 ((triple7) -> rule3)) -> rule2))] Charlie is smart.[(triple10)] Charlie is young.[(triple11 OR ((triple7 triple9) -> rule1) OR ((((triple7) -> rule3)) -> rule5) OR ((triple7 ((((triple7) -> rule3)) -> rule6)) -> rule1) OR ((triple7 ((triple8 ((triple7) -> rule3)) -> rule2)) -> rule1))] Fiona is furry.[(triple12)] Fiona is green.[(triple13 OR ((triple15) -> rule6) OR ((triple12 triple15) -> rule2) OR ((((triple14) -> rule4)) -> rule6) OR ((triple12 ((triple14) -> rule4)) -> rule2))] Fiona is kind.[(triple14)] Fiona is round.[(triple15 OR ((triple14) -> rule4))] Fiona is smart.[(triple16)] @1: Charlie is round.[(((triple7) -> rule3))] Fiona is young.[(((triple15) -> rule5) OR ((((triple14) -> rule4)) -> rule5))]