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