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