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