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