Bob is big. Bob is blue. Bob is not kind. Bob is nice. Bob is quiet. Bob is round. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is not round. If Bob is quiet and Bob is nice then Bob is not kind. If someone is blue and round then they are not kind. If someone is kind and rough then they are not round. Rough people are not round. If Fiona is round then Fiona is nice. If Bob is big then Bob is not rough.
Bob is kind.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple4)] Bob is not kind.[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple5 triple4) -> rule1))] Bob is quiet.[(triple5)] Bob is round.[(triple6)] Fiona is kind.[(triple7)] Fiona is nice.[(triple8)] Fiona is not round.[(triple10)] Fiona is quiet.[(triple9)] @1: Bob is not rough.[(((triple1) -> rule6))]