Bob is big. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is round. Charlie is big. Charlie is not furry. Charlie is not nice. Charlie is red. If Bob is big and Bob is nice then Bob is red. If something is nice then it is red. Nice things are red. If something is quiet and not furry then it is not round. All young things are round. If Charlie is young then Charlie is red.
Charlie is not red.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5 OR ((triple3) -> rule2) OR ((triple3) -> rule3) OR ((triple1 triple3) -> rule1))] Bob is round.[(triple6)] Charlie is big.[(triple7)] Charlie is not furry.[(triple8)] Charlie is not nice.[(triple9)] Charlie is red.[(triple10)]