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